##// END OF EJS Templates
Avoid using important
Jonathan Frederic -
Show More
@@ -8,10 +8,18 b' div.cell {'
8
8
9 &.selected {
9 &.selected {
10 border-color: @border_color;
10 border-color: @border_color;
11 /* Don't border the cells when printing */
12 @media print {
13 border-color: transparent;
14 }
11 }
15 }
12
16
13 &.edit_mode {
17 &.edit_mode {
14 border-color: green;
18 border-color: green;
19 /* Don't border the cells when printing */
20 @media print {
21 border-color: transparent;
22 }
15 }
23 }
16
24
17 width: 100%;
25 width: 100%;
@@ -21,13 +29,6 b' div.cell {'
21 outline: none;
29 outline: none;
22 }
30 }
23
31
24 /* Don't border the cells when printing */
25 @media print {
26 div.cell {
27 border-color: transparent !important;
28 }
29 }
30
31 div.prompt {
32 div.prompt {
32 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
33 /* This needs to be wide enough for 3 digit prompt numbers: In[100]: */
33 min-width: 15ex;
34 min-width: 15ex;
@@ -1,6 +1,6 b''
1 div.code_cell {
1 /* avoid page breaking on code cells when printing */
2 /* avoid page breaking on code cells when printing */
2 @media print {
3 @media print {
3 div.code_cell {
4 page-break-inside: avoid;
4 page-break-inside: avoid;
5 }
5 }
6 }
6 }
@@ -90,11 +90,14 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 }
93 }
96 }
94
97
95 /* Hide the header when printing */
98 /* Hide the header when printing */
96 @media print {
99 @media print {
97 #header, #header-spacer {
100 #header-spacer {
98 display: none !important;
101 display: none;
99 }
102 }
100 }
103 }
General Comments 0
You need to be logged in to leave comments. Login now