From 2ca63013ffbf3e5c0c9a5c08173f805b866a3b9d 2014-12-10 18:50:41 From: Jonathan Frederic Date: 2014-12-10 18:50:41 Subject: [PATCH] Move header styles into base less --- diff --git a/IPython/html/static/base/less/page.less b/IPython/html/static/base/less/page.less index e37e4cb..56cc52f 100644 --- a/IPython/html/static/base/less/page.less +++ b/IPython/html/static/base/less/page.less @@ -37,11 +37,19 @@ div#header { height: 0px; border-bottom: 1px solid @navbar-default-border; } + + @media print { + display: none !important; + } } #header-spacer { width: 100%; visibility: hidden; + + @media print { + display: none; + } } #ipython_notebook { diff --git a/IPython/html/static/notebook/less/notebook.less b/IPython/html/static/notebook/less/notebook.less index 823f6e5..58ac2df 100644 --- a/IPython/html/static/notebook/less/notebook.less +++ b/IPython/html/static/notebook/less/notebook.less @@ -90,14 +90,4 @@ p { .notebook_app #header { .box-shadow(@notebook-shadow); - @media print { - display: none; - } -} - -/* Hide the header when printing */ -@media print { - #header-spacer { - display: none; - } }