Merge pull request #8547 from AlbertHilb/CodeMirrorEditor-static

Remove unused CSS rules
jupyterlab · Jun 11, 2020 · 6f529d1 · 6f529d1
2 parents 94a622d + ff5811e
commit 6f529d1
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/packages/codemirror/style/base.css b/packages/codemirror/style/base.css
@@ -32,12 +32,7 @@
   padding: 0 8px;
 }
 
-.jp-CodeMirrorEditor-static {
-  margin: var(--jp-code-padding);
-}
-
-.jp-CodeMirrorEditor,
-.jp-CodeMirrorEditor-static {
+.jp-CodeMirrorEditor {
   cursor: text;
 }