##// END OF EJS Templates
setting an option to null sets the default in CodeMirror...
setting an option to null sets the default in CodeMirror matching the unset behavior in config

File last commit:

r18493:1ba04ac3
r19311:9c060bc5
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;
}