base.css 6.2 KB

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