From eb27a16e01ebff4dc2c73b3e34b0ecd95103722b 2015-01-05 19:12:23
From: Jonathan Frederic <jon.freder@gmail.com>
Date: 2015-01-05 19:12:23
Subject: [PATCH] Make headerbar -1 margin global

---

diff --git a/IPython/html/static/base/less/page.less b/IPython/html/static/base/less/page.less
index f5b1b1b..c5c912b 100644
--- a/IPython/html/static/base/less/page.less
+++ b/IPython/html/static/base/less/page.less
@@ -35,6 +35,7 @@ div#header {
         width: 100%;
         height: 0px;
         border-bottom: 1px solid @navbar-default-border;
+        margin-bottom: -1px;
     }
 
     @media print {
diff --git a/IPython/html/static/notebook/less/menubar.less b/IPython/html/static/notebook/less/menubar.less
index 915bcbd..a08d7e3 100644
--- a/IPython/html/static/notebook/less/menubar.less
+++ b/IPython/html/static/notebook/less/menubar.less
@@ -1,5 +1,6 @@
 #menubar {
   .border-box-sizing();
+  margin-top: 1px;
 
   .navbar {
     border-top: 1px;
diff --git a/IPython/html/static/notebook/less/notebook.less b/IPython/html/static/notebook/less/notebook.less
index c187108..21c2287 100644
--- a/IPython/html/static/notebook/less/notebook.less
+++ b/IPython/html/static/notebook/less/notebook.less
@@ -76,13 +76,6 @@ p {
     height: 200px;
 }
 
-.lower-header-bar {
-    width: 100%;
-    height: 0px;
-    border-bottom: 1px solid @navbar-default-border;
-    margin-bottom: -1px;
-}
-
 .notebook_app #header {
     .box-shadow(@global-shadow);
 }
diff --git a/IPython/html/static/terminal/less/terminal.less b/IPython/html/static/terminal/less/terminal.less
index 3f60d69..4605e26 100644
--- a/IPython/html/static/terminal/less/terminal.less
+++ b/IPython/html/static/terminal/less/terminal.less
@@ -4,10 +4,6 @@
   #header {
     background: @body-bg;
     .box-shadow(@global-shadow);
-
-    .header-bar {
-      margin-bottom: -1px;
-    }
   }
 
   .terminal {