Merge pull request #7346 from jdfreder/terminal-page

Use page backdrop color in terminal page

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 {

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

@@ -1,5 +1,6 @@
 #menubar {
   .border-box-sizing();
+  margin-top: 1px;
 
   .navbar {
     border-top: 1px;

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);
 }

IPython/html/static/style/style.min.css

@@ -8285,6 +8285,7 @@ div#header .header-bar {
   width: 100%;
   height: 0px;
   border-bottom: 1px solid #e7e7e7;
+  margin-bottom: -1px;
 }
 @media print {
   div#header {
@@ -10104,12 +10105,6 @@ p {
 .end_space {
   height: 200px;
 }
-.lower-header-bar {
-  width: 100%;
-  height: 0px;
-  border-bottom: 1px solid #e7e7e7;
-  margin-bottom: -1px;
-}
 .notebook_app #header {
   -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
   box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
@@ -10272,6 +10267,7 @@ select[multiple].celltoolbar select {
   box-sizing: border-box;
   -moz-box-sizing: border-box;
   -webkit-box-sizing: border-box;
+  margin-top: 1px;
 }
 #menubar .navbar {
   border-top: 1px;
@@ -11011,7 +11007,15 @@ span.autosave_status {
   -ms-transform: rotate(45deg);
   -o-transform: rotate(45deg);
 }
-.terminal {
+.terminal-app {
+  background: #eeeeee;
+}
+.terminal-app #header {
+  background: #ffffff;
+  -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
+  box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
+}
+.terminal-app .terminal {
   float: left;
   font-family: monospace;
   color: white;
@@ -11021,16 +11025,16 @@ span.autosave_status {
   -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
   box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
 }
-.terminal,
-.terminal dummy-screen {
+.terminal-app .terminal,
+.terminal-app .terminal dummy-screen {
   line-height: 1em;
   font-size: 14px;
 }
-.terminal-cursor {
+.terminal-app .terminal-cursor {
   color: black;
   background: white;
 }
-#terminado-container {
+.terminal-app #terminado-container {
   margin-top: 20px;
 }
 /*# sourceMappingURL=style.min.css.map */

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

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

IPython/html/templates/terminal.html

@@ -6,6 +6,7 @@
 
 data-base-url="{{base_url}}"
 data-ws-path="{{ws_path}}"
+class="terminal-app"
 
 {% endblock %}