##// END OF EJS Templates
Remove padding on editor
Jonathan Frederic -
Show More
@@ -1,34 +1,34
1
1
2 #filename {
2 #filename {
3 font-size: 16pt;
3 font-size: 16pt;
4 display: table;
4 display: table;
5 padding: 0px 5px;
5 padding: 0px 5px;
6 }
6 }
7
7
8 #texteditor-backdrop {
8 #texteditor-backdrop {
9 padding-top: @page-header-padding;
9 padding-top: @page-header-padding;
10 padding-bottom: @page-header-padding;
10 padding-bottom: @page-header-padding;
11
11
12 @media not print{
12 @media not print{
13 min-height: @page-backdrop-height;
13 min-height: @page-backdrop-height;
14 background-color: @page-backdrop-color;
14 background-color: @page-backdrop-color;
15 }
15 }
16
16
17 #texteditor-container {
17 #texteditor-container {
18 .CodeMirror-gutter {
18 .CodeMirror-gutter {
19 @media print {
19 @media print {
20 background-color: @body-bg;
20 background-color: @body-bg;
21 }
21 }
22 @media not print {
22 @media not print {
23 background-color: @page-color;
23 background-color: @page-color;
24 }
24 }
25 }
25 }
26
26
27 @media not print{
27 @media not print{
28 padding: @page-padding;
28 padding: 0px;
29 background-color : @page-color;
29 background-color : @page-color;
30 min-height: @page-min-height;
30 min-height: @page-min-height;
31 .box-shadow(@global-shadow);
31 .box-shadow(@global-shadow);
32 }
32 }
33 }
33 }
34 }
34 }
General Comments 0
You need to be logged in to leave comments. Login now