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