##// END OF EJS Templates
Merge pull request #6045 from minrk/nbformat4...
Merge pull request #6045 from minrk/nbformat4 nbformat v4

File last commit:

r18493:1ba04ac3
r18617:482c7bd6 merge
Show More
terminal.less
17 lines | 279 B | text/x-less | LessCssLexer
.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;
}
#terminado-container {
margin: 8px;
}