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.
27 lines
441 B
27 lines
441 B
.terminal {
|
|
float: left;
|
|
border: black solid 5px;
|
|
font-family: monospace;
|
|
font-size: 11px;
|
|
color: white;
|
|
background: black;
|
|
border-radius: 2px;
|
|
box-shadow: 0px 4px 11px 0px gray;
|
|
border: 0px;
|
|
padding: @code_padding;
|
|
|
|
&, dummy-screen {
|
|
line-height: @code_line_height;
|
|
font-size: @notebook_font_size;
|
|
}
|
|
}
|
|
|
|
.terminal-cursor {
|
|
color: black;
|
|
background: white;
|
|
}
|
|
|
|
#terminado-container {
|
|
padding-top: 20px;
|
|
}
|