More styling of codemirror everywhere...

src/console/index.css

@@ -59,27 +59,12 @@
 }
 
 
-/*
-TODO: Right now we have to copy this style that is applied in the notebook
-using the selecetor `.jp-Notebook .jp-Output pre`, but we need to style
-output in a manner that works everywhere, not just in the notebook
-*/
-.jp-ConsoleContent .jp-Output pre {
-  border: none;
-  margin: 1px 0 0 5px;
-  overflow-x: auto;
-  overflow-y: auto;
-  word-break: break-all;
-  word-wrap: break-word;
-  white-space: pre-wrap;
-}
-
-
 .jp-ConsoleContent-content .jp-InputArea-editor.jp-CellEditor {
   background: transparent;
   border-color: transparent;
 }
 
+
 /* TODO: we should be able to use notebook styles for this */
 .jp-ConsoleContent-input .jp-ConsoleContent-prompt.jp-Cell {
   background: linear-gradient(to right, #66BB6A -40px, #66BB6A 5px, transparent 5px, transparent 100%);

src/editorwidget/index.css

@@ -5,6 +5,6 @@
 
 
 .jp-EditorWidget {
-    border-top: var(--jp-border-width) solid var(--jp-border-color2);
+    border-top: var(--jp-border-width) solid var(--jp-border-color1);
     margin-top: 4px;
 }

src/notebook/codemirror/index.css

@@ -6,7 +6,7 @@
 @import './highlight.css';
 
 
-.jp-CellEditor > .CodeMirror {
+.CodeMirror {
   line-height: var(--jp-code-line-height);
   font-size: var(--jp-code-font-size);
   height: auto;
@@ -15,7 +15,7 @@
 }
 
 
-.jp-CellEditor > .CodeMirror pre {
+.CodeMirror pre {
   padding: 0;
   border: 0;
   border-radius: 0;
@@ -24,12 +24,12 @@
 
 /* This causes https://github.com/jupyter/jupyterlab/issues/522 */
 /* May not cause it not because we changed it! */
-.jp-CellEditor .CodeMirror-lines {
+.CodeMirror-lines {
   padding: var(--jp-code-padding);
 }
 
 
-.jp-CellEditor .CodeMirror-linenumbers {
+.CodeMirror-linenumbers {
   padding: 0 4px 0 4px;
 }