style.css 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229
  1. .CodeMirror {
  2. height: 100%;
  3. }
  4. .cm-link {
  5. color: #008cff !important;
  6. text-decoration: none !important;
  7. }
  8. .cm-link:hover {
  9. text-decoration: underline !important;
  10. }
  11. .CodeMirror.ctrl-pressed .cm-link:hover {
  12. cursor: pointer !important;
  13. }
  14. .right.mode-list {
  15. height: fit-content;
  16. }
  17. .right-header {
  18. padding: 8px 10px 0 10px;
  19. }
  20. .right-header > .right-header-top {
  21. display: flex;
  22. flex-direction: row;
  23. justify-content: space-between;
  24. padding-bottom: 7px;
  25. }
  26. .right-header > .right-header-top > .class-name {
  27. font-size: 24px;
  28. color: #d1d1d1;
  29. }
  30. .right-header > .right-header-top > .class-name > .class-icon {
  31. background: url(/img/jsfile.svg);
  32. width: 30px;
  33. height: 30px;
  34. background-size: cover;
  35. margin-right: 5px;
  36. display: inline-block;
  37. }
  38. .right-header > .right-header-top > .display-mode-buttons {
  39. display: flex;
  40. flex-direction: row;
  41. width: 58px;
  42. justify-content: space-between;
  43. }
  44. .right-header > .right-header-top > .display-mode-buttons > .display-mode-button {
  45. width: 24px;
  46. height: 24px;
  47. border: 1px solid #d1d1d1;
  48. border-radius: 5px;
  49. background-size: 18px;
  50. background-repeat: no-repeat;
  51. background-position: center;
  52. cursor: pointer;
  53. }
  54. .right-header > .right-header-top > .display-mode-buttons > .display-mode-button.selected,
  55. .right-header > .right-header-top > .display-mode-buttons > .display-mode-button:hover {
  56. background-color: #ffffff40;
  57. }
  58. .right-header > .right-header-top > .display-mode-buttons > .display-mode-button.mode-tabs {
  59. background-image: url(/img/fa-tabs.svg);
  60. }
  61. .right-header > .right-header-top > .display-mode-buttons > .display-mode-button.mode-list {
  62. background-image: url(/img/fa-bars.svg);
  63. }
  64. .right-header > .tabs {
  65. display: flex;
  66. flex-direction: row;
  67. border-bottom: 1px solid #d1d1d1;
  68. padding: 0 10px;
  69. user-select: none;
  70. }
  71. .right-header > .tabs > .tab {
  72. border: 1px solid #d1d1d1;
  73. border-bottom: 0;
  74. color: #d1d1d1;
  75. padding: 5px 10px;
  76. cursor: pointer;
  77. position: relative;
  78. }
  79. .right-header > .tabs > .tab > .filler {
  80. position: absolute;
  81. width: 100%;
  82. height: 1px;
  83. left: 0;
  84. background: #443f3b;
  85. bottom: -1px;
  86. }
  87. .right-header > .tabs > .tab:not(.selected):hover {
  88. background-color: #ffffff40;
  89. }
  90. .right-header > .tabs > .tab.selected {
  91. border-bottom: 0;
  92. }
  93. .right > .content {
  94. margin-left: 10px;
  95. border: 1px solid #d1d1d1;
  96. border-top: 0;
  97. width: calc(100% - 22px);
  98. }
  99. .right.mode-list > .content {
  100. border: 0;
  101. }
  102. .right:not(.mode-list) > .content > .content-tab-title {
  103. display: none;
  104. }
  105. .right > .content > .content-tab {
  106. display: none;
  107. position: relative;
  108. color: #d1d1d1;
  109. }
  110. .right.mode-list > .content > .content-tab,
  111. .right > .content > .content-tab.active {
  112. display: block;
  113. }
  114. .right.mode-list > .content > .content-tab {
  115. padding: 10px;
  116. }
  117. .right.mode-list > .content > .content-tab:not(:last-child) {
  118. display: block;
  119. border-bottom: 1px solid #d1d1d1;
  120. }
  121. .right.mode-list > .content {
  122. padding-bottom: 20px;
  123. }
  124. .right.mode-list > .content > .content-tab#editor > .CodeMirror {
  125. border: 1px solid #d1d1d1;
  126. }
  127. .right.mode-tabs > .content > .content-tab > .content-tab-title {
  128. display: none;
  129. }
  130. .right > .content > .content-tab#editor {
  131. height: calc(100% - 85px);
  132. }
  133. .right:not(.mode-list) > .content > .content-tab:not(#editor) {
  134. height: calc(100% - 105px);
  135. overflow-y: auto;
  136. }
  137. .right.mode-list > .right-header > .tabs {
  138. display: none;
  139. }
  140. /* Full Source Prompt >>> */
  141. .right > .content > .content-tab#editor > .full-source-prompt {
  142. position: absolute;
  143. opacity: 0.2;
  144. top: 20px;
  145. right: 20px;
  146. width: 250px;
  147. display: flex;
  148. flex-direction: column;
  149. align-items: flex-end;
  150. border: 1px solid #d1d1d1;
  151. padding: 10px;
  152. background: #1a1a1a;
  153. user-select: none;
  154. }
  155. .right > .content > .content-tab#editor > .full-source-prompt:hover {
  156. opacity: 0.95;
  157. }
  158. .right > .content > .content-tab#editor > .full-source-prompt > .full-source-prompt-text {
  159. color: #d1d1d1;
  160. }
  161. .right > .content > .content-tab#editor > .full-source-prompt > .full-source-prompt-button {
  162. padding: 5px 10px;
  163. border: 1px solid #d1d1d1;
  164. cursor: pointer;
  165. color: #d1d1d1;
  166. width: fit-content;
  167. border-radius: 5px;
  168. }
  169. .right > .content > .content-tab#editor > .full-source-prompt > .full-source-prompt-button:hover {
  170. background-color: #ffffff40;
  171. }
  172. /* <<< Full Source Prompt */
  173. /* Class items with indentation >>> */
  174. .right > .content > .content-tab .class-item.indent > .class-icon {
  175. position: relative;
  176. }
  177. .right > .content > .content-tab .class-item.indent:not(:first-child) > .class-icon:before {
  178. content: '↳';
  179. position: absolute;
  180. color: #d1d1d1;
  181. left: -10px;
  182. }
  183. .right > .content > .content-tab .class-item.indent > .spacing {
  184. display: inline-block;
  185. }
  186. /* <<< Class items with indentation */