##// END OF EJS Templates
Remove superfluous body tag from terminal less
Jonathan Frederic -
Show More
@@ -1,36 +1,36 b''
1 body.terminal-app {
1 .terminal-app {
2 background: @page-backdrop-color;
2 background: @page-backdrop-color;
3
3
4 #header {
4 #header {
5 background: @body-bg;
5 background: @body-bg;
6 .box-shadow(@global-shadow);
6 .box-shadow(@global-shadow);
7
7
8 .header-bar {
8 .header-bar {
9 margin-bottom: -1px;
9 margin-bottom: -1px;
10 }
10 }
11 }
11 }
12
12
13 .terminal {
13 .terminal {
14 float: left;
14 float: left;
15 font-family: monospace;
15 font-family: monospace;
16 color: white;
16 color: white;
17 background: black;
17 background: black;
18 padding: @code_padding;
18 padding: @code_padding;
19 border-radius: @border-radius-base;
19 border-radius: @border-radius-base;
20 .box-shadow(@global-shadow-dark);
20 .box-shadow(@global-shadow-dark);
21
21
22 &, dummy-screen {
22 &, dummy-screen {
23 line-height: 1em;
23 line-height: 1em;
24 font-size: @notebook_font_size;
24 font-size: @notebook_font_size;
25 }
25 }
26 }
26 }
27
27
28 .terminal-cursor {
28 .terminal-cursor {
29 color: black;
29 color: black;
30 background: white;
30 background: white;
31 }
31 }
32
32
33 #terminado-container {
33 #terminado-container {
34 margin-top: @page-header-padding;
34 margin-top: @page-header-padding;
35 }
35 }
36 }
36 }
General Comments 0
You need to be logged in to leave comments. Login now