index.css 7.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255
  1. /*-----------------------------------------------------------------------------
  2. | Copyright (c) Jupyter Development Team.
  3. | Distributed under the terms of the Modified BSD License.
  4. |----------------------------------------------------------------------------*/
  5. @import url('~codemirror/lib/codemirror.css');
  6. @import url('~codemirror/addon/dialog/dialog.css');
  7. @import url('~codemirror/addon/fold/foldgutter.css');
  8. @import url('~codemirror/theme/material.css');
  9. @import url('~codemirror/theme/zenburn.css');
  10. @import url('~codemirror/theme/abcdef.css');
  11. @import url('~codemirror/theme/base16-light.css');
  12. @import url('~codemirror/theme/base16-dark.css');
  13. @import url('~codemirror/theme/dracula.css');
  14. @import url('~codemirror/theme/hopscotch.css');
  15. @import url('~codemirror/theme/mbo.css');
  16. @import url('~codemirror/theme/mdn-like.css');
  17. @import url('~codemirror/theme/seti.css');
  18. @import url('~codemirror/theme/solarized.css');
  19. @import url('~codemirror/theme/the-matrix.css');
  20. @import url('~codemirror/theme/xq-light.css');
  21. .CodeMirror {
  22. line-height: var(--jp-code-line-height);
  23. font-size: var(--jp-code-font-size);
  24. font-family: var(--jp-code-font-family);
  25. height: auto;
  26. /* Changed to auto to autogrow */
  27. }
  28. .CodeMirror pre {
  29. padding: 0;
  30. border: 0;
  31. border-radius: 0;
  32. }
  33. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-dialog {
  34. background-color: var(--jp-layout-color0);
  35. color: var(--jp-content-font-color1);
  36. }
  37. /* This causes https://github.com/jupyter/jupyterlab/issues/522 */
  38. /* May not cause it not because we changed it! */
  39. .CodeMirror-lines {
  40. padding: var(--jp-code-padding) 0;
  41. }
  42. /* Set horizontal padding on line nodes for correct margins */
  43. pre.CodeMirror-line {
  44. padding: 0 var(--jp-code-padding);
  45. }
  46. .CodeMirror-linenumbers {
  47. padding: 0 4px 0 4px;
  48. }
  49. .jp-CodeMirrorEditor-static {
  50. margin: var(--jp-code-padding);
  51. }
  52. .jp-CodeMirrorEditor,
  53. .jp-CodeMirrorEditor-static {
  54. cursor: text;
  55. }
  56. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
  57. border-left: var(--jp-code-cursor-width0) solid var(--jp-editor-cursor-color);
  58. }
  59. /* When zoomed out 67% and 33% on a screen of 1440 width x 900 height */
  60. @media screen and (min-width: 2138px) and (max-width: 4319px) {
  61. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
  62. border-left: var(--jp-code-cursor-width1) solid
  63. var(--jp-editor-cursor-color);
  64. }
  65. }
  66. /* When zoomed out less than 33% */
  67. @media screen and (min-width: 4320px) {
  68. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
  69. border-left: var(--jp-code-cursor-width2) solid
  70. var(--jp-editor-cursor-color);
  71. }
  72. }
  73. .CodeMirror.jp-mod-readOnly .CodeMirror-cursor {
  74. display: none;
  75. }
  76. .CodeMirror-gutters {
  77. border-right: 1px solid var(--jp-border-color2);
  78. background-color: var(--jp-layout-color2);
  79. }
  80. .CodeMirror-gutter-wrapper {
  81. margin-left: calc(-1 * var(--jp-code-padding));
  82. }
  83. .jp-CollaboratorCursor {
  84. border-left: 5px solid transparent;
  85. border-right: 5px solid transparent;
  86. border-top: none;
  87. border-bottom: 3px solid;
  88. background-clip: content-box;
  89. margin-left: -5px;
  90. margin-right: -5px;
  91. }
  92. .CodeMirror-selectedtext.cm-searching {
  93. background-color: var(--jp-search-selected-match-background-color) !important;
  94. color: var(--jp-search-selected-match-color) !important;
  95. }
  96. .cm-searching {
  97. background-color: var(
  98. --jp-search-unselected-match-background-color
  99. ) !important;
  100. color: var(--jp-search-unselected-match-color) !important;
  101. }
  102. .CodeMirror-focused .CodeMirror-selected {
  103. background-color: var(--jp-editor-selected-focused-background);
  104. }
  105. .CodeMirror-selected {
  106. background-color: var(--jp-editor-selected-background);
  107. }
  108. .jp-CollaboratorCursor-hover {
  109. position: absolute;
  110. z-index: 1;
  111. transform: translateX(-50%);
  112. color: white;
  113. border-radius: 3px;
  114. padding-left: 4px;
  115. padding-right: 4px;
  116. padding-top: 1px;
  117. padding-bottom: 1px;
  118. text-align: center;
  119. font-size: var(--jp-ui-font-size1);
  120. white-space: nowrap;
  121. }
  122. .jp-CodeMirror-ruler {
  123. border-left: 1px dashed var(--jp-border-color2);
  124. }
  125. /**
  126. * Here is our jupyter theme for CodeMirror syntax highlighting
  127. * This is used in our marked.js syntax highlighting and CodeMirror itself
  128. * The string "jupyter" is set in ../codemirror/widget.DEFAULT_CODEMIRROR_THEME
  129. * This came from the classic notebook, which came form highlight.js/GitHub
  130. */
  131. /**
  132. * CodeMirror themes are handling the background/color in this way. This works
  133. * fine for CodeMirror editors outside the notebook, but the notebook styles
  134. * these things differently.
  135. */
  136. .CodeMirror.cm-s-jupyter {
  137. background: var(--jp-layout-color0);
  138. color: var(--jp-content-font-color1);
  139. }
  140. /* In the notebook, we want this styling to be handled by its container */
  141. .jp-CodeConsole .CodeMirror.cm-s-jupyter,
  142. .jp-Notebook .CodeMirror.cm-s-jupyter {
  143. background: transparent;
  144. }
  145. .cm-s-jupyter .CodeMirror-cursor {
  146. border-left: var(--jp-code-cursor-width0) solid var(--jp-editor-cursor-color);
  147. }
  148. .cm-s-jupyter span.cm-keyword {
  149. color: var(--jp-mirror-editor-keyword-color);
  150. font-weight: bold;
  151. }
  152. .cm-s-jupyter span.cm-atom {
  153. color: var(--jp-mirror-editor-atom-color);
  154. }
  155. .cm-s-jupyter span.cm-number {
  156. color: var(--jp-mirror-editor-number-color);
  157. }
  158. .cm-s-jupyter span.cm-def {
  159. color: var(--jp-mirror-editor-def-color);
  160. }
  161. .cm-s-jupyter span.cm-variable {
  162. color: var(--jp-mirror-editor-variable-color);
  163. }
  164. .cm-s-jupyter span.cm-variable-2 {
  165. color: var(--jp-mirror-editor-variable-2-color);
  166. }
  167. .cm-s-jupyter span.cm-variable-3 {
  168. color: var(--jp-mirror-editor-variable-3-color);
  169. }
  170. .cm-s-jupyter span.cm-punctuation {
  171. color: var(--jp-mirror-editor-punctuation-color);
  172. }
  173. .cm-s-jupyter span.cm-property {
  174. color: var(--jp-mirror-editor-property-color);
  175. }
  176. .cm-s-jupyter span.cm-operator {
  177. color: var(--jp-mirror-editor-operator-color);
  178. font-weight: bold;
  179. }
  180. .cm-s-jupyter span.cm-comment {
  181. color: var(--jp-mirror-editor-comment-color);
  182. font-style: italic;
  183. }
  184. .cm-s-jupyter span.cm-string {
  185. color: var(--jp-mirror-editor-string-color);
  186. }
  187. .cm-s-jupyter span.cm-string-2 {
  188. color: var(--jp-mirror-editor-string-2-color);
  189. }
  190. .cm-s-jupyter span.cm-meta {
  191. color: var(--jp-mirror-editor-meta-color);
  192. }
  193. .cm-s-jupyter span.cm-qualifier {
  194. color: var(--jp-mirror-editor-qualifier-color);
  195. }
  196. .cm-s-jupyter span.cm-builtin {
  197. color: var(--jp-mirror-editor-builtin-color);
  198. }
  199. .cm-s-jupyter span.cm-bracket {
  200. color: var(--jp-mirror-editor-bracket-color);
  201. }
  202. .cm-s-jupyter span.cm-tag {
  203. color: var(--jp-mirror-editor-tag-color);
  204. }
  205. .cm-s-jupyter span.cm-attribute {
  206. color: var(--jp-mirror-editor-attribute-color);
  207. }
  208. .cm-s-jupyter span.cm-header {
  209. color: var(--jp-mirror-editor-header-color);
  210. }
  211. .cm-s-jupyter span.cm-quote {
  212. color: var(--jp-mirror-editor-quote-color);
  213. }
  214. .cm-s-jupyter span.cm-link {
  215. color: var(--jp-mirror-editor-link-color);
  216. }
  217. .cm-s-jupyter span.cm-error {
  218. color: var(--jp-mirror-editor-error-color);
  219. }
  220. .cm-s-jupyter span.cm-hr {
  221. color: #999;
  222. }
  223. .cm-s-jupyter span.cm-tab {
  224. background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAMCAYAAAAkuj5RAAAAAXNSR0IArs4c6QAAAGFJREFUSMft1LsRQFAQheHPowAKoACx3IgEKtaEHujDjORSgWTH/ZOdnZOcM/sgk/kFFWY0qV8foQwS4MKBCS3qR6ixBJvElOobYAtivseIE120FaowJPN75GMu8j/LfMwNjh4HUpwg4LUAAAAASUVORK5CYII=);
  225. background-position: right;
  226. background-repeat: no-repeat;
  227. }