##// END OF EJS Templates
Move header styles into base less
Jonathan Frederic -
Show More
@@ -37,11 +37,19 b' div#header {'
37 height: 0px;
37 height: 0px;
38 border-bottom: 1px solid @navbar-default-border;
38 border-bottom: 1px solid @navbar-default-border;
39 }
39 }
40
41 @media print {
42 display: none !important;
43 }
40 }
44 }
41
45
42 #header-spacer {
46 #header-spacer {
43 width: 100%;
47 width: 100%;
44 visibility: hidden;
48 visibility: hidden;
49
50 @media print {
51 display: none;
52 }
45 }
53 }
46
54
47 #ipython_notebook {
55 #ipython_notebook {
@@ -90,14 +90,4 b' p {'
90
90
91 .notebook_app #header {
91 .notebook_app #header {
92 .box-shadow(@notebook-shadow);
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