jupyterlab-emrys/lib/docmanager/theme.css

A computational environment for Jupyter. Powered by Emrys

/*-----------------------------------------------------------------------------
| Copyright (c) 2014-2016, Jupyter Development Team.
|
| Distributed under the terms of the Modified BSD License.
|----------------------------------------------------------------------------*/
.jp-CodeMirrorWidget {
  height: 100%;
}


.jp-CodeMirrorWidget > .CodeMirror {
  line-height: 1.21429em;
  /* Changed from 1em to our global default */
  font-size: 14px;
  height: 100%;
  /* Changed to auto to autogrow */
  background: none;
  /* Changed from white to allow our bg to show through */
}


.jp-CodeMirrorWidget .CodeMirror-scroll {
  /*  The CodeMirror docs are a bit fuzzy on if overflow-y should be hidden or visible.*/
  /*  We have found that if it is visible, vertical scrollbars appear with font size changes.*/
  overflow-y: hidden;
  overflow-x: auto;
}


.jp-CodeMirrorWidget .CodeMirror-lines {
  /* In CM2, this used to be 0.4em, but in CM3 it went to 4px. We need the em value because */
  /* we have set a different line-height and want this to scale with that. */
  padding: 0.4em;
}


.jp-CodeMirrorWidget .CodeMirror-linenumber {
  padding: 0 8px 0 4px;
}


.jp-CodeMirrorWidget .CodeMirror-gutters {
  border-bottom-left-radius: 2px;
  border-top-left-radius: 2px;
}


.jp-CodeMirrorWidget > .CodeMirror pre {
  /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
  /* .CodeMirror-lines */
  padding: 0;
  border: 0;
  border-radius: 0;
}