Make headerbar -1 margin global

11 years ago · f0da3c863c
parent edf737d111
commit f0da3c863c
4 changed files with 2 additions and 11 deletions
--- 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 {
--- 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;
--- 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);
 }
--- 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 {