123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239 |
- /*-----------------------------------------------------------------------------
- | Copyright (c) Jupyter Development Team.
- | Distributed under the terms of the Modified BSD License.
- |----------------------------------------------------------------------------*/
- @import url('~codemirror/lib/codemirror.css');
- @import url('~codemirror/addon/dialog/dialog.css');
- @import url('~codemirror/addon/fold/foldgutter.css');
- @import url('~codemirror/theme/material.css');
- @import url('~codemirror/theme/zenburn.css');
- @import url('~codemirror/theme/abcdef.css');
- @import url('~codemirror/theme/base16-light.css');
- @import url('~codemirror/theme/base16-dark.css');
- @import url('~codemirror/theme/dracula.css');
- @import url('~codemirror/theme/hopscotch.css');
- @import url('~codemirror/theme/mbo.css');
- @import url('~codemirror/theme/mdn-like.css');
- @import url('~codemirror/theme/seti.css');
- @import url('~codemirror/theme/solarized.css');
- @import url('~codemirror/theme/the-matrix.css');
- @import url('~codemirror/theme/xq-light.css');
- .CodeMirror {
- line-height: var(--jp-code-line-height);
- font-size: var(--jp-code-font-size);
- font-family: var(--jp-code-font-family);
- height: auto;
- /* Changed to auto to autogrow */
- }
- .CodeMirror pre {
- padding: 0;
- border: 0;
- border-radius: 0;
- }
- .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-dialog {
- background-color: var(--jp-layout-color0);
- color: var(--jp-content-font-color1);
- }
- /* This causes https://github.com/jupyter/jupyterlab/issues/522 */
- /* May not cause it not because we changed it! */
- .CodeMirror-lines {
- padding: var(--jp-code-padding) 0;
- }
- /* Set horizontal padding on line nodes for correct margins */
- pre.CodeMirror-line {
- padding: 0 var(--jp-code-padding);
- }
- .CodeMirror-linenumber {
- padding: 0 8px;
- }
- .jp-CodeMirrorEditor-static {
- margin: var(--jp-code-padding);
- }
- .jp-CodeMirrorEditor,
- .jp-CodeMirrorEditor-static {
- cursor: text;
- }
- .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
- border-left: var(--jp-code-cursor-width0) solid var(--jp-editor-cursor-color);
- }
- /* When zoomed out 67% and 33% on a screen of 1440 width x 900 height */
- @media screen and (min-width: 2138px) and (max-width: 4319px) {
- .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
- border-left: var(--jp-code-cursor-width1) solid
- var(--jp-editor-cursor-color);
- }
- }
- /* When zoomed out less than 33% */
- @media screen and (min-width: 4320px) {
- .jp-CodeMirrorEditor[data-type='inline'] .CodeMirror-cursor {
- border-left: var(--jp-code-cursor-width2) solid
- var(--jp-editor-cursor-color);
- }
- }
- .CodeMirror.jp-mod-readOnly .CodeMirror-cursor {
- display: none;
- }
- .CodeMirror-gutters {
- border-right: 1px solid var(--jp-border-color2);
- background-color: var(--jp-layout-color0);
- }
- .jp-CollaboratorCursor {
- border-left: 5px solid transparent;
- border-right: 5px solid transparent;
- border-top: none;
- border-bottom: 3px solid;
- background-clip: content-box;
- margin-left: -5px;
- margin-right: -5px;
- }
- .CodeMirror-focused .CodeMirror-selected {
- background-color: var(--jp-editor-selected-focused-background);
- }
- .CodeMirror-selected {
- background-color: var(--jp-editor-selected-background);
- }
- .jp-CollaboratorCursor-hover {
- position: absolute;
- z-index: 1;
- transform: translateX(-50%);
- color: white;
- border-radius: 3px;
- padding-left: 4px;
- padding-right: 4px;
- padding-top: 1px;
- padding-bottom: 1px;
- text-align: center;
- font-size: var(--jp-ui-font-size1);
- white-space: nowrap;
- }
- .jp-CodeMirror-ruler {
- border-left: 1px dashed var(--jp-border-color2);
- }
- /**
- * Here is our jupyter theme for CodeMirror syntax highlighting
- * This is used in our marked.js syntax highlighting and CodeMirror itself
- * The string "jupyter" is set in ../codemirror/widget.DEFAULT_CODEMIRROR_THEME
- * This came from the classic notebook, which came form highlight.js/GitHub
- */
- /**
- * CodeMirror themes are handling the background/color in this way. This works
- * fine for CodeMirror editors outside the notebook, but the notebook styles
- * these things differently.
- */
- .CodeMirror.cm-s-jupyter {
- background: var(--jp-layout-color0);
- color: var(--jp-content-font-color1);
- }
- /* In the notebook, we want this styling to be handled by its container */
- .jp-CodeConsole .CodeMirror.cm-s-jupyter,
- .jp-Notebook .CodeMirror.cm-s-jupyter {
- background: transparent;
- }
- .cm-s-jupyter .CodeMirror-cursor {
- border-left: var(--jp-code-cursor-width0) solid var(--jp-editor-cursor-color);
- }
- .cm-s-jupyter span.cm-keyword {
- color: var(--jp-mirror-editor-keyword-color);
- font-weight: bold;
- }
- .cm-s-jupyter span.cm-atom {
- color: var(--jp-mirror-editor-atom-color);
- }
- .cm-s-jupyter span.cm-number {
- color: var(--jp-mirror-editor-number-color);
- }
- .cm-s-jupyter span.cm-def {
- color: var(--jp-mirror-editor-def-color);
- }
- .cm-s-jupyter span.cm-variable {
- color: var(--jp-mirror-editor-variable-color);
- }
- .cm-s-jupyter span.cm-variable-2 {
- color: var(--jp-mirror-editor-variable-2-color);
- }
- .cm-s-jupyter span.cm-variable-3 {
- color: var(--jp-mirror-editor-variable-3-color);
- }
- .cm-s-jupyter span.cm-punctuation {
- color: var(--jp-mirror-editor-punctuation-color);
- }
- .cm-s-jupyter span.cm-property {
- color: var(--jp-mirror-editor-property-color);
- }
- .cm-s-jupyter span.cm-operator {
- color: var(--jp-mirror-editor-operator-color);
- font-weight: bold;
- }
- .cm-s-jupyter span.cm-comment {
- color: var(--jp-mirror-editor-comment-color);
- font-style: italic;
- }
- .cm-s-jupyter span.cm-string {
- color: var(--jp-mirror-editor-string-color);
- }
- .cm-s-jupyter span.cm-string-2 {
- color: var(--jp-mirror-editor-string-2-color);
- }
- .cm-s-jupyter span.cm-meta {
- color: var(--jp-mirror-editor-meta-color);
- }
- .cm-s-jupyter span.cm-qualifier {
- color: var(--jp-mirror-editor-qualifier-color);
- }
- .cm-s-jupyter span.cm-builtin {
- color: var(--jp-mirror-editor-builtin-color);
- }
- .cm-s-jupyter span.cm-bracket {
- color: var(--jp-mirror-editor-bracket-color);
- }
- .cm-s-jupyter span.cm-tag {
- color: var(--jp-mirror-editor-tag-color);
- }
- .cm-s-jupyter span.cm-attribute {
- color: var(--jp-mirror-editor-attribute-color);
- }
- .cm-s-jupyter span.cm-header {
- color: var(--jp-mirror-editor-header-color);
- }
- .cm-s-jupyter span.cm-quote {
- color: var(--jp-mirror-editor-quote-color);
- }
- .cm-s-jupyter span.cm-link {
- color: var(--jp-mirror-editor-link-color);
- }
- .cm-s-jupyter span.cm-error {
- color: var(--jp-mirror-editor-error-color);
- }
- .cm-s-jupyter span.cm-hr {
- color: #999;
- }
- .cm-s-jupyter span.cm-tab {
- background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAADAAAAAMCAYAAAAkuj5RAAAAAXNSR0IArs4c6QAAAGFJREFUSMft1LsRQFAQheHPowAKoACx3IgEKtaEHujDjORSgWTH/ZOdnZOcM/sgk/kFFWY0qV8foQwS4MKBCS3qR6ixBJvElOobYAtivseIE120FaowJPN75GMu8j/LfMwNjh4HUpwg4LUAAAAASUVORK5CYII=);
- background-position: right;
- background-repeat: no-repeat;
- }
|