##// END OF EJS Templates
Move header styles into base less
Jonathan Frederic -
Show More
@@ -37,11 +37,19 b' div#header {'
37 37 height: 0px;
38 38 border-bottom: 1px solid @navbar-default-border;
39 39 }
40
41 @media print {
42 display: none !important;
43 }
40 44 }
41 45
42 46 #header-spacer {
43 47 width: 100%;
44 48 visibility: hidden;
49
50 @media print {
51 display: none;
52 }
45 53 }
46 54
47 55 #ipython_notebook {
@@ -90,14 +90,4 b' p {'
90 90
91 91 .notebook_app #header {
92 92 .box-shadow(@notebook-shadow);
93 @media print {
94 display: none;
95 }
96 }
97
98 /* Hide the header when printing */
99 @media print {
100 #header-spacer {
101 display: none;
102 }
103 93 }
General Comments 0
You need to be logged in to leave comments. Login now