Use page backdrop with the terminal

pull/37/head
Jonathan Frederic 11 years ago
parent 992976844d
commit 7b602f07cc

@ -1,23 +1,36 @@
.terminal {
float: left;
font-family: monospace;
color: white;
background: black;
padding: @code_padding;
border-radius: @border-radius-base;
.box-shadow(@global-shadow-dark);
body.terminal-app {
background: @page-backdrop-color;
&, dummy-screen {
line-height: 1em;
font-size: @notebook_font_size;
#header {
background: @body-bg;
.box-shadow(@global-shadow);
.header-bar {
margin-bottom: -1px;
}
}
}
.terminal-cursor {
color: black;
background: white;
}
.terminal {
float: left;
font-family: monospace;
color: white;
background: black;
padding: @code_padding;
border-radius: @border-radius-base;
.box-shadow(@global-shadow-dark);
&, dummy-screen {
line-height: 1em;
font-size: @notebook_font_size;
}
}
.terminal-cursor {
color: black;
background: white;
}
#terminado-container {
margin-top: @page-header-padding;
#terminado-container {
margin-top: @page-header-padding;
}
}

@ -6,6 +6,7 @@
data-base-url="{{base_url}}"
data-ws-path="{{ws_path}}"
class="terminal-app"
{% endblock %}

Loading…
Cancel
Save