##// END OF EJS Templates
Merge pull request #7123 from takluyver/list-servers-nopid...
Merge pull request #7123 from takluyver/list-servers-nopid Handle nbserver info files without pid, from IPython 2.x

File last commit:

r18493:1ba04ac3
r19297:9ccc64b8 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;
}