From f0da3c863cba9dbb4ee022ef2e567a43eff7a7e8 Mon Sep 17 00:00:00 2001
From: Jonathan Frederic <jon.freder@gmail.com>
Date: Mon, 5 Jan 2015 11:12:23 -0800
Subject: [PATCH] Make headerbar -1 margin global

---
 IPython/html/static/base/less/page.less         | 1 +
 IPython/html/static/notebook/less/menubar.less  | 1 +
 IPython/html/static/notebook/less/notebook.less | 7 -------
 IPython/html/static/terminal/less/terminal.less | 4 ----
 4 files changed, 2 insertions(+), 11 deletions(-)

diff --git a/IPython/html/static/base/less/page.less b/IPython/html/static/base/less/page.less
index f5b1b1b6d..c5c912b58 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 915bcbdec..a08d7e34e 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 c18710813..21c228775 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 3f60d696d..4605e26ba 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 {