##// END OF EJS Templates
Move terminal CSS into LESS file
Move terminal CSS into LESS file

File last commit:

r18493:1ba04ac3
r18493:1ba04ac3
Show More
terminal.less
17 lines | 279 B | text/x-less | LessCssLexer
Bussonnier Matthias
recompute dummy size dynamically + styling in css
r18489 .terminal {
float: left;
border: black solid 5px;
font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
font-size: 11px;
color: white;
background: black;
}
.terminal-cursor {
color: black;
background: white;
}
Thomas Kluyver
Move terminal CSS into LESS file
r18493
#terminado-container {
margin: 8px;
}