|
@@ -22,6 +22,7 @@
|
|
.CodeMirror {
|
|
.CodeMirror {
|
|
line-height: var(--jp-code-line-height);
|
|
line-height: var(--jp-code-line-height);
|
|
font-size: var(--jp-code-font-size);
|
|
font-size: var(--jp-code-font-size);
|
|
|
|
+ font-family: var(--jp-code-font-family);
|
|
height: auto;
|
|
height: auto;
|
|
/* Changed to auto to autogrow */
|
|
/* Changed to auto to autogrow */
|
|
background: none;
|
|
background: none;
|