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/style/style.min.css b/IPython/html/static/style/style.min.css index 5c2c6d0..f89775b 100644 --- a/IPython/html/static/style/style.min.css +++ b/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 */ \ No newline at end of file diff --git a/IPython/html/static/terminal/less/terminal.less b/IPython/html/static/terminal/less/terminal.less index e6b2a24..4605e26 100644 --- a/IPython/html/static/terminal/less/terminal.less +++ b/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; + } } diff --git a/IPython/html/templates/terminal.html b/IPython/html/templates/terminal.html index 2b77acb..c73976f 100644 --- a/IPython/html/templates/terminal.html +++ b/IPython/html/templates/terminal.html @@ -6,6 +6,7 @@ data-base-url="{{base_url}}" data-ws-path="{{ws_path}}" +class="terminal-app" {% endblock %}