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