You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
33 lines
567 B
33 lines
567 B
.terminal-app {
|
|
background: @page-backdrop-color;
|
|
|
|
#header {
|
|
background: @body-bg;
|
|
.box-shadow(@global-shadow);
|
|
}
|
|
|
|
.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;
|
|
}
|
|
}
|