##// END OF EJS Templates
Improve edit app
Jonathan Frederic -
Show More
@@ -6,7 +6,7 b''
6
6
7
7
8 body {
8 body {
9 background-color: white;
9 background-color: @body-bg;
10 /* This makes sure that the body covers the entire window and needs to
10 /* This makes sure that the body covers the entire window and needs to
11 be in a different element than the display: box in wrapper below */
11 be in a different element than the display: box in wrapper below */
12 position: absolute;
12 position: absolute;
@@ -43,4 +43,10 b' label {'
43 @global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
43 @global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
44 @global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
44 @global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
45 @page-header-padding: 20px;
45 @page-header-padding: 20px;
46
46 /* Make the page background atleast 100% the height of the view port */
47 @page-backdrop-height: 100vh;
48 /* Make the page itself atleast 70% the height of the view port */
49 @page-min-height: 70vh;
50 @page-backdrop-color: #EEE;
51 @page-color: @body-bg;
52 @page-padding: 15px; No newline at end of file
@@ -1,9 +1,34 b''
1 #texteditor-container {
2 border-bottom: 1px solid #ccc;
3 }
4
1
5 #filename {
2 #filename {
6 font-size: 16pt;
3 font-size: 16pt;
7 display: table;
4 display: table;
8 padding: 0px 5px;
5 padding: 0px 5px;
9 }
6 }
7
8 #texteditor-backdrop {
9 padding-top: @page-header-padding;
10 padding-bottom: @page-header-padding;
11
12 @media not print{
13 min-height: @page-backdrop-height;
14 background-color: @page-backdrop-color;
15 }
16
17 #texteditor-container {
18 .CodeMirror-gutter {
19 @media print {
20 background-color: @body-bg;
21 }
22 @media not print {
23 background-color: @page-color;
24 }
25 }
26
27 @media not print{
28 padding: @page-padding;
29 background-color : @page-color;
30 min-height: @page-min-height;
31 .box-shadow(@global-shadow);
32 }
33 }
34 }
@@ -11,4 +11,20 b''
11 // truncate mode-menu, so it doesn't get longer than the screen
11 // truncate mode-menu, so it doesn't get longer than the screen
12 overflow: auto;
12 overflow: auto;
13 max-height: 20em;
13 max-height: 20em;
14 } No newline at end of file
14 }
15
16 #current-mode {
17 margin-right: @padding-large-horizontal;
18 }
19
20 .edit_app {
21 #header {
22 .box-shadow(@global-shadow);
23 }
24
25 #menubar .navbar {
26 /* Use a negative 1 bottom margin, so the border overlaps the border of the
27 header */
28 margin-bottom: -1px;
29 }
30 }
@@ -14,9 +14,10 b' div#notebook_panel {'
14 margin: 0px;
14 margin: 0px;
15 padding: 0px;
15 padding: 0px;
16 .border-box-sizing();
16 .border-box-sizing();
17 background-color: @notebook_dark_background;
17 @media not print {
18 /* Make the page background atleast 100% the height of the view port */
18 background-color: @page-backdrop-color;
19 min-height: 100vh;
19 min-height: @page-backdrop-height;
20 }
20 }
21 }
21 div#notebook {
22 div#notebook {
22 font-size: @notebook_font_size;
23 font-size: @notebook_font_size;
@@ -34,11 +35,9 b' div#notebook {'
34
35
35 #notebook-container{
36 #notebook-container{
36 @media not print{
37 @media not print{
37 padding: 15px;
38 padding: @page-padding;
38 border-color: @body-bg;
39 background-color : @page-color;
39 background-color : @body-bg;
40 min-height: @page-min-height;
40 /* Make the page itself atleast 70% the height of the view port */
41 min-height: 70vh;
42 .box-shadow(@global-shadow);
41 .box-shadow(@global-shadow);
43 }
42 }
44 }
43 }
@@ -7,7 +7,6 b''
7 @light_border_color: darken(@cell_selected_background, 17%);
7 @light_border_color: darken(@cell_selected_background, 17%);
8 @border_width: 1px;
8 @border_width: 1px;
9 @notebook_font_size: 14px;
9 @notebook_font_size: 14px;
10 @notebook_dark_background: #EEE;
11 @notebook_line_height: 20px;
10 @notebook_line_height: 20px;
12 @code_line_height: 1.21429em; // changed from 1.231 to get 17px even
11 @code_line_height: 1.21429em; // changed from 1.231 to get 17px even
13 @code_padding: 0.4em; // 5.6 px
12 @code_padding: 0.4em; // 5.6 px
@@ -10,6 +10,7 b''
10
10
11 {% block params %}
11 {% block params %}
12
12
13 class="edit_app"
13 data-base-url="{{base_url}}"
14 data-base-url="{{base_url}}"
14 data-file-path="{{file_path}}"
15 data-file-path="{{file_path}}"
15
16
@@ -75,12 +76,15 b' data-file-path="{{file_path}}"'
75 </div>
76 </div>
76 </div>
77 </div>
77
78
79 <div class="lower-header-bar"></div>
80
78 {% endblock %}
81 {% endblock %}
79
82
80 {% block site %}
83 {% block site %}
81
84
82
85 <div id="texteditor-backdrop">
83 <div id="texteditor-container" class="container"></div>
86 <div id="texteditor-container" class="container"></div>
87 </div>
84
88
85 {% endblock %}
89 {% endblock %}
86
90
@@ -105,6 +105,7 b''
105 {% block header %}
105 {% block header %}
106 {% endblock %}
106 {% endblock %}
107 </div>
107 </div>
108
108 <div id="header-spacer"></div>
109 <div id="header-spacer"></div>
109
110
110 <div id="site">
111 <div id="site">
General Comments 0
You need to be logged in to leave comments. Login now