/*-----------------------------------------------------------------------------
| Copyright (c) Jupyter Development Team.
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/

@import url('~codemirror/lib/codemirror.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/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 */
  background: none;
}


.CodeMirror pre {
  color: var(--jp-mirror-editor-pre-color);
  padding: 0;
  border: 0;
  border-radius: 0;
}

.jp-OutputArea-output pre {
  color: var(--jp-mirror-editor-pre-color);
}


/* 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);
}


.CodeMirror-linenumbers {
  padding: 0 4px 0 4px;
}


.jp-CodeMirrorEditor-static {
  margin: var(--jp-code-padding);
}


.jp-CodeMirrorEditor, .jp-CodeMirrorEditor-static {
  cursor: text;
}


.CodeMirror-cursor {
  border-left: 1px solid var(--jp-code-cursor-color);
}


.CodeMirror.jp-mod-readOnly .CodeMirror-cursor {
  border-left: 1px solid var(--jp-code-cursor-color);
  display: none;
}


.CodeMirror-gutters {
  border-right: 1px solid var(--jp-border-color1);
  background-color: var(--jp-layout-color2);
}


.CodeMirror-gutter-wrapper {
  margin-left: calc(-1 * var(--jp-code-padding));
}

.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-mirror-editor-selected-focus-state);
}


.CodeMirror-selected {
  background-color: var(--jp-mirror-editor-selected-state)
}


.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;
}

.CodeMirror-vscrollbar::-webkit-scrollbar, .CodeMirror-hscrollbar::-webkit-scrollbar {
  background-color: var(--jp-layout-color0);
  width: var(--jp-scrollbar-width);
}

.CodeMirror-vscrollbar::-webkit-scrollbar {
  border-left: 1px solid var(--jp-border-color1);
}

.CodeMirror-hscrollbar::-webkit-scrollbar {
  border-top: 1px solid var(--jp-border-color1);
}

.CodeMirror-vscrollbar::-webkit-scrollbar-thumb, .CodeMirror-hscrollbar::-webkit-scrollbar-thumb {
  background-color: var(--jp-layout-color2);
  border-radius: 0px;
}

.CodeMirror-vscrollbar::-webkit-scrollbar-thumb {
  border-left: 1px solid var(--jp-border-color1);
}

.CodeMirror-hscrollbar::-webkit-scrollbar-thumb {
  border-top: 1px solid var(--jp-border-color1);
}



/*
  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
*/


.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;
}