From ff5811e10ccd738c1a37a006efea16f4838c2666 Mon Sep 17 00:00:00 2001
From: AlbertHilb <alberthilbert@gmail.com>
Date: Thu, 11 Jun 2020 20:31:59 +0200
Subject: [PATCH] Remove unused CSS rules.

---
 packages/codemirror/style/base.css | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/packages/codemirror/style/base.css b/packages/codemirror/style/base.css
index 598ea3ebdd0d..8a1dcc9c07d0 100644
--- 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;
 }