|
@@ -7,19 +7,15 @@
|
|
|
|
|
|
|
|
|
.jp-CellEditor > .CodeMirror {
|
|
|
- line-height: 1.21429em;
|
|
|
- /* Changed from 1em to our global default */
|
|
|
- font-size: 14px;
|
|
|
+ line-height: var(--jp-code-line-height);
|
|
|
+ font-size: var(--jp-code-font-size);
|
|
|
height: auto;
|
|
|
/* Changed to auto to autogrow */
|
|
|
background: none;
|
|
|
- /* Changed from white to allow our bg to show through */
|
|
|
}
|
|
|
|
|
|
|
|
|
.jp-CellEditor > .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;
|
|
@@ -27,34 +23,13 @@
|
|
|
|
|
|
|
|
|
/* This causes https://github.com/jupyter/jupyterlab/issues/522 */
|
|
|
+/* May not cause it not because we changed it! */
|
|
|
.jp-CellEditor .CodeMirror-lines {
|
|
|
- padding: 0.4em;
|
|
|
+ padding: var(--jp-code-padding);
|
|
|
}
|
|
|
|
|
|
|
|
|
-/* The following selectors never apply since .CodeMirror is the only child of .jp-CellEditor */
|
|
|
-
|
|
|
-.jp-CellEditor > .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-CellEditor .CodeMirror-linenumbers {
|
|
|
+ padding: 0 4px 0 4px;
|
|
|
}
|
|
|
|
|
|
-
|
|
|
-.jp-CellEditor > .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-CellEditor > .CodeMirror-linenumber {
|
|
|
- padding: 0 8px 0 4px;
|
|
|
-}
|
|
|
-
|
|
|
-
|
|
|
-.jp-CellEditor > .CodeMirror-gutters {
|
|
|
- border-bottom-left-radius: 2px;
|
|
|
- border-top-left-radius: 2px;
|
|
|
-}
|