##// END OF EJS Templates
remove some custom css...
remove some custom css mainly in navbars, where we were doing custom things that bootstrap already did with classes. This did require the removal of multiple class LESS inheritance for navbar buttons, because it doesn't work properly. Seems like a LESS bug, but I'm not sure.

File last commit:

r18493:1ba04ac3
r19298:d8390523
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;
}