base.css 7.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276
  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. .CodeMirror.cm-fat-cursor .cm-overlay.cm-searching {
  18. opacity: 0.5;
  19. }
  20. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-dialog {
  21. background-color: var(--jp-layout-color0);
  22. color: var(--jp-content-font-color1);
  23. }
  24. /* This causes https://github.com/jupyter/jupyterlab/issues/522 */
  25. /* May not cause it not because we changed it! */
  26. .CodeMirror-lines {
  27. padding: var(--jp-code-padding) 0;
  28. }
  29. .CodeMirror-linenumber {
  30. padding: 0 8px;
  31. }
  32. .jp-CodeMirrorEditor {
  33. cursor: text;
  34. }
  35. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
  36. border-left: var(--jp-code-cursor-width0) solid var(--jp-editor-cursor-color);
  37. }
  38. /* When zoomed out 67% and 33% on a screen of 1440 width x 900 height */
  39. @media screen and (min-width: 2138px) and (max-width: 4319px) {
  40. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
  41. border-left: var(--jp-code-cursor-width1) solid
  42. var(--jp-editor-cursor-color);
  43. }
  44. }
  45. /* When zoomed out less than 33% */
  46. @media screen and (min-width: 4320px) {
  47. .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
  48. border-left: var(--jp-code-cursor-width2) solid
  49. var(--jp-editor-cursor-color);
  50. }
  51. }
  52. .CodeMirror.jp-mod-readOnly .CodeMirror-cursor {
  53. display: none;
  54. }
  55. .CodeMirror-gutters {
  56. border-right: 1px solid var(--jp-border-color2);
  57. background-color: var(--jp-layout-color0);
  58. }
  59. .jp-CollaboratorCursor {
  60. border-left: 5px solid transparent;
  61. border-right: 5px solid transparent;
  62. border-top: none;
  63. border-bottom: 3px solid;
  64. background-clip: content-box;
  65. margin-left: -5px;
  66. margin-right: -5px;
  67. }
  68. .CodeMirror-selectedtext.cm-searching {
  69. background-color: var(--jp-search-selected-match-background-color) !important;
  70. color: var(--jp-search-selected-match-color) !important;
  71. }
  72. .cm-searching {
  73. background-color: var(
  74. --jp-search-unselected-match-background-color
  75. ) !important;
  76. color: var(--jp-search-unselected-match-color) !important;
  77. }
  78. .cm-trailingspace {
  79. background-image: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAgAAAAFCAYAAAB4ka1VAAAAsElEQVQIHQGlAFr/AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA7+r3zKmT0/+pk9P/7+r3zAAAAAAAAAAABAAAAAAAAAAA6OPzM+/q9wAAAAAA6OPzMwAAAAAAAAAAAgAAAAAAAAAAGR8NiRQaCgAZIA0AGR8NiQAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAQyoYJ/SY80UAAAAASUVORK5CYII=);
  80. background-position: center left;
  81. background-repeat: repeat-x;
  82. }
  83. .CodeMirror-focused .CodeMirror-selected {
  84. background-color: var(--jp-editor-selected-focused-background);
  85. }
  86. .CodeMirror-selected {
  87. background-color: var(--jp-editor-selected-background);
  88. }
  89. .jp-CollaboratorCursor-hover {
  90. position: absolute;
  91. z-index: 1;
  92. transform: translateX(-50%);
  93. color: white;
  94. border-radius: 3px;
  95. padding-left: 4px;
  96. padding-right: 4px;
  97. padding-top: 1px;
  98. padding-bottom: 1px;
  99. text-align: center;
  100. font-size: var(--jp-ui-font-size1);
  101. white-space: nowrap;
  102. }
  103. .jp-CodeMirror-ruler {
  104. border-left: 1px dashed var(--jp-border-color2);
  105. }
  106. /**
  107. * Here is our jupyter theme for CodeMirror syntax highlighting
  108. * This is used in our marked.js syntax highlighting and CodeMirror itself
  109. * The string "jupyter" is set in ../codemirror/widget.DEFAULT_CODEMIRROR_THEME
  110. * This came from the classic notebook, which came form highlight.js/GitHub
  111. */
  112. /**
  113. * CodeMirror themes are handling the background/color in this way. This works
  114. * fine for CodeMirror editors outside the notebook, but the notebook styles
  115. * these things differently.
  116. */
  117. .CodeMirror.cm-s-jupyter {
  118. background: var(--jp-layout-color0);
  119. color: var(--jp-content-font-color1);
  120. }
  121. /* In the notebook, we want this styling to be handled by its container */
  122. .jp-CodeConsole .CodeMirror.cm-s-jupyter,
  123. .jp-Notebook .CodeMirror.cm-s-jupyter {
  124. background: transparent;
  125. }
  126. .cm-s-jupyter .CodeMirror-cursor {
  127. border-left: var(--jp-code-cursor-width0) solid var(--jp-editor-cursor-color);
  128. }
  129. .cm-s-jupyter span.cm-keyword {
  130. color: var(--jp-mirror-editor-keyword-color);
  131. font-weight: bold;
  132. }
  133. .cm-s-jupyter span.cm-atom {
  134. color: var(--jp-mirror-editor-atom-color);
  135. }
  136. .cm-s-jupyter span.cm-number {
  137. color: var(--jp-mirror-editor-number-color);
  138. }
  139. .cm-s-jupyter span.cm-def {
  140. color: var(--jp-mirror-editor-def-color);
  141. }
  142. .cm-s-jupyter span.cm-variable {
  143. color: var(--jp-mirror-editor-variable-color);
  144. }
  145. .cm-s-jupyter span.cm-variable-2 {
  146. color: var(--jp-mirror-editor-variable-2-color);
  147. }
  148. .cm-s-jupyter span.cm-variable-3 {
  149. color: var(--jp-mirror-editor-variable-3-color);
  150. }
  151. .cm-s-jupyter span.cm-punctuation {
  152. color: var(--jp-mirror-editor-punctuation-color);
  153. }
  154. .cm-s-jupyter span.cm-property {
  155. color: var(--jp-mirror-editor-property-color);
  156. }
  157. .cm-s-jupyter span.cm-operator {
  158. color: var(--jp-mirror-editor-operator-color);
  159. font-weight: bold;
  160. }
  161. .cm-s-jupyter span.cm-comment {
  162. color: var(--jp-mirror-editor-comment-color);
  163. font-style: italic;
  164. }
  165. .cm-s-jupyter span.cm-string {
  166. color: var(--jp-mirror-editor-string-color);
  167. }
  168. .cm-s-jupyter span.cm-string-2 {
  169. color: var(--jp-mirror-editor-string-2-color);
  170. }
  171. .cm-s-jupyter span.cm-meta {
  172. color: var(--jp-mirror-editor-meta-color);
  173. }
  174. .cm-s-jupyter span.cm-qualifier {
  175. color: var(--jp-mirror-editor-qualifier-color);
  176. }
  177. .cm-s-jupyter span.cm-builtin {
  178. color: var(--jp-mirror-editor-builtin-color);
  179. }
  180. .cm-s-jupyter span.cm-bracket {
  181. color: var(--jp-mirror-editor-bracket-color);
  182. }
  183. .cm-s-jupyter span.cm-tag {
  184. color: var(--jp-mirror-editor-tag-color);
  185. }
  186. .cm-s-jupyter span.cm-attribute {
  187. color: var(--jp-mirror-editor-attribute-color);
  188. }
  189. .cm-s-jupyter span.cm-header {
  190. color: var(--jp-mirror-editor-header-color);
  191. }
  192. .cm-s-jupyter span.cm-quote {
  193. color: var(--jp-mirror-editor-quote-color);
  194. }
  195. .cm-s-jupyter span.cm-link {
  196. color: var(--jp-mirror-editor-link-color);
  197. }
  198. .cm-s-jupyter span.cm-error {
  199. color: var(--jp-mirror-editor-error-color);
  200. }
  201. .cm-s-jupyter span.cm-hr {
  202. color: #999;
  203. }
  204. .cm-s-jupyter span.cm-tab {
  205. background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAMCAYAAAAkuj5RAAAAAXNSR0IArs4c6QAAAGFJREFUSMft1LsRQFAQheHPowAKoACx3IgEKtaEHujDjORSgWTH/ZOdnZOcM/sgk/kFFWY0qV8foQwS4MKBCS3qR6ixBJvElOobYAtivseIE120FaowJPN75GMu8j/LfMwNjh4HUpwg4LUAAAAASUVORK5CYII=);
  206. background-position: right;
  207. background-repeat: no-repeat;
  208. }
  209. .cm-s-jupyter .CodeMirror-activeline-background,
  210. .cm-s-jupyter .CodeMirror-gutter {
  211. background-color: var(--jp-layout-color2);
  212. }
  213. /* Styles for shared cursors (remote cursor locations and selected ranges) */
  214. .jp-CodeMirrorEditor .remote-caret {
  215. position: relative;
  216. border-left: 2px solid black;
  217. margin-left: -1px;
  218. margin-right: -1px;
  219. box-sizing: border-box;
  220. }
  221. .jp-CodeMirrorEditor .remote-caret > div {
  222. white-space: nowrap;
  223. position: absolute;
  224. top: -1.15em;
  225. padding-bottom: 0.05em;
  226. left: -2px;
  227. font-size: 0.95em;
  228. background-color: rgb(250, 129, 0);
  229. font-family: var(--jp-ui-font-family);
  230. font-weight: bold;
  231. line-height: normal;
  232. user-select: none;
  233. color: white;
  234. padding-left: 2px;
  235. padding-right: 2px;
  236. z-index: 3;
  237. transition: opacity 0.3s ease-in-out;
  238. }
  239. .jp-CodeMirrorEditor .remote-caret.hide-name > div {
  240. transition-delay: 0.7s;
  241. opacity: 0;
  242. }
  243. .jp-CodeMirrorEditor .remote-caret:hover > div {
  244. opacity: 1;
  245. transition-delay: 0s;
  246. }