jupyterlab/src/notebook/codemirror/index.css

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

@import './highlight.css';


.jp-CellEditor > .CodeMirror {
  line-height: var(--jp-code-line-height);
  font-size: var(--jp-code-font-size);
  height: auto;
  /* Changed to auto to autogrow */
  background: none;
}


.jp-CellEditor > .CodeMirror pre {
  padding: 0;
  border: 0;
  border-radius: 0;
}


/* This causes https://github.com/jupyter/jupyterlab/issues/522 */
/* May not cause it not because we changed it! */
.jp-CellEditor .CodeMirror-lines {
  padding: var(--jp-code-padding);
}


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