Merge pull request #340 from eskirk/menu_bar_stuff

Cleaned up the menu bar

src/default-theme/index.css

@@ -272,7 +272,6 @@ body {
   padding-left: 5px;
   background: #FAFAFA;
   color: rgba(0, 0, 0, 0.87);
-  border-bottom: 1px solid #DDDDDD;
   font-size: 14px;
 }
 

src/index.css

@@ -8,3 +8,4 @@
 @import './iframe/index.css';
 @import './notebook/completion/index.css';
 @import './terminal/index.css';
+@import './mainmenu/index.css';

src/mainmenu/index.css

@@ -0,0 +1,18 @@
+/*-----------------------------------------------------------------------------
+| Copyright (c) Jupyter Development Team.
+| Distributed under the terms of the Modified BSD License.
+|----------------------------------------------------------------------------*/
+
+#jp-MainMenu.p-Widget.p-MenuBar {
+   background: #EEEEEE;
+}
+
+#p-top-panel.p-Widget.p-Panel {
+   border-bottom: 1px solid #BDBDBD;
+   background: #EEEEEE;
+   top: 0px;
+   left: 0px;
+   min-height: 24px;
+   max-height: 24px;
+   position: absolute;
+}