##// END OF EJS Templates
Merge pull request #6915 from minrk/contents-no-0...
Merge pull request #6915 from minrk/contents-no-0 use Untitled instead of Untitled0

File last commit:

r18493:1ba04ac3
r18835:b7c85f43 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;
}