Make headerbar -1 margin global

IPython/html/static/base/less/page.less

@@ -1,128 +1,129
 /**
  * Primary styles
  *
  * Author: IPython Development Team
  */
 
 
 body {
     background-color: @body-bg;
     /* This makes sure that the body covers the entire window and needs to
        be in a different element than the display: box in wrapper below */
     position: absolute;
     left: 0px;
     right: 0px;
     top: 0px;
     bottom: 0px;
     overflow: visible;
 }
 
 div#header {
     /* Initially hidden to prevent FLOUC */
     display: none;
     background-color: @body-bg;
 
     /* Display over codemirror */
     z-index: 100;
 
     #header-container {
         padding-bottom: 5px;
         padding-top: 5px;
         .border-box-sizing();
     }
 
     .header-bar {
         width: 100%;
         height: 0px;
         border-bottom: 1px solid @navbar-default-border;
+        margin-bottom: -1px;
     }
 
     @media print {
         display: none !important;
     }
 }
 
 #header-spacer {
     width: 100%;
     visibility: hidden;
     
     @media print {
         display: none;
     }
 }
 
 #ipython_notebook {
     padding-left: 0px;
     padding-top: (@navbar-height - @logo_height) / 2;
     padding-bottom: (@navbar-height - @logo_height) / 2;
 }
 
 #noscript {
      width: auto;
      padding-top: 16px;
      padding-bottom: 16px;
      text-align: center;
      font-size: 22px;
      color: red;
      font-weight: bold;
 }
 
 #ipython_notebook img {
     height: @logo_height;
 }
 
 #site {
     width: 100%;
     display: none;
     .border-box-sizing();
 }
 
 /* Smaller buttons */
 .ui-button .ui-button-text {
     padding: 0.2em 0.8em;
     font-size: 77%;
 }
 
 input.ui-button {
     padding: 0.3em 0.9em;
 }
 
 span#login_widget {
     float: right;
 }
 
 span#login_widget > .button,
 #logout
 {
     .btn-default();
 }
 
 .nav-header {
     text-transform: none;
 }
 
 #header > span {
   margin-top: 10px;
 }
 
 // class for stretching dialogs to fill the screen
 .modal_stretch .modal-dialog {
     .vbox();
     min-height: 80%;
     .modal-body {
         max-height: none;
         flex: 1;
     }
 }
 
 @media (min-width: 768px) {
     .modal .modal-dialog {
         width: 700px;
     }
 }
 
 // less mixin to be sure to add the right class to get icons with font awesome.
 .icon(@ico){
     .fa();
     content: @ico;
 }

IPython/html/static/notebook/less/menubar.less

@@ -1,77 +1,78
 #menubar {
   .border-box-sizing();
+  margin-top: 1px;
 
   .navbar {
     border-top: 1px;
     border-radius: 0px 0px @border-radius-base @border-radius-base;
     margin-bottom: -1px;
   }
   
   .navbar-toggle {
     float: left;
   }
   .navbar-collapse {
     clear: left;
   }
   
 }
 
 .nav-wrapper {
   border-bottom: 1px solid @navbar-default-border;
 }
 
 i.menu-icon {
   // add padding to account for float-right
   padding-top: 4px;
 }
 
 ul#help_menu li a{
     overflow: hidden;
     padding-right: 2.2em;
     i {
         margin-right: -1.2em;
     }
 }
 
 // Make sub menus work in BS3.
 // Credit: http://www.bootply.com/86684
 .dropdown-submenu {
     position: relative;
 }
 
 .dropdown-submenu>.dropdown-menu {
     top: 0;
     left: 100%;
     margin-top: -6px;
     margin-left: -1px;
 }
 
 // arrow that indicate presence of submenu
 .dropdown-submenu:hover>.dropdown-menu {
     display: block;
 }
 
 .dropdown-submenu>a:after {
     .fa();
     display: block;
     content: @fa-var-caret-right;
     float: right;
     color: @dropdown-link-color;
     margin-top: 2px;
     margin-right: -10px;
 }
 
 .dropdown-submenu:hover>a:after {
     color: @dropdown-link-hover-color;
 }
 
 .dropdown-submenu.pull-left {
     float: none;
 }
 
 .dropdown-submenu.pull-left>.dropdown-menu {
     left: -100%;
     margin-left: 10px;
 }
 
 //end submenu

IPython/html/static/notebook/less/notebook.less

@@ -1,88 +1,81
 @media (max-width: 767px) {
     // remove bootstrap-responsive's body padding on small screens
     body.notebook_app {
         padding-left: 0px;
         padding-right: 0px;
     }
 }
 
 #ipython-main-app {
     .border-box-sizing();
 }
 
 div#notebook_panel {
     margin: 0px;
     padding: 0px;
     .border-box-sizing();
     @media not print {
         background-color: @page-backdrop-color;
         min-height: @page-backdrop-height;
     }
 }
 div#notebook {
     font-size: @notebook_font_size;
     line-height: @notebook_line_height;
     overflow-y: hidden;
     overflow-x: auto;
     width: 100%;
     /* This spaces the page away from the edge of the notebook area */
     padding-top: @page-header-padding;
     padding-bottom: @page-header-padding;
     margin: 0px;
     outline: none;
     .border-box-sizing();
 }
 
 #notebook-container{
     @media not print{
         padding: @page-padding;
         background-color :  @page-color;
         min-height: @page-min-height;
         .box-shadow(@global-shadow);
     }
 }
 
 div.ui-widget-content {
     border: 1px solid @border_color;
     outline: none;
 }
 
 pre.dialog {
     background-color: @cell_background;
     border: 1px solid #ddd;
     .corner-all;
     padding: 0.4em;
     padding-left: 2em;
 }
 
 p.dialog {
     padding : 0.2em;
 }
 
 /* Word-wrap output correctly.  This is the CSS3 spelling, though Firefox seems
    to not honor it correctly.  Webkit browsers (Chrome, rekonq, Safari) do.
  */
 pre, code, kbd, samp { white-space: pre-wrap; }
 
 #fonttest {
     font-family: @font-family-monospace;
 }
 
 p {
     margin-bottom:0;
 }
 
 .end_space {
     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);
 }

IPython/html/static/terminal/less/terminal.less

@@ -1,36 +1,32
 .terminal-app {
   background: @page-backdrop-color;
 
   #header {
     background: @body-bg;
     .box-shadow(@global-shadow);
-
-    .header-bar {
-      margin-bottom: -1px;
-    }
   }
 
   .terminal {
     float: left;
     font-family: monospace;
     color: white;
     background: black;
     padding: @code_padding;
     border-radius: @border-radius-base;
     .box-shadow(@global-shadow-dark);
 
     &, dummy-screen {
       line-height: 1em;
       font-size: @notebook_font_size;
     }
   }
 
   .terminal-cursor {
     color: black;
     background: white;
   }
 
   #terminado-container {
     margin-top: @page-header-padding;
   }
 }