@@ -0,0 +1,7 @@
+/*-----------------------------------------------------------------------------
+| Copyright (c) Jupyter Development Team.
+| Distributed under the terms of the Modified BSD License.
+|----------------------------------------------------------------------------*/
+.jp-EditorWidget {
+ border-top: 1px solid #E0E0E0;
+}
@@ -7,5 +7,5 @@
@import './dialog/theme.css';
@import './filebrowser/theme.css';
@import './terminal/theme.css';
-
+@import './editorwidget/theme.css';