##// END OF EJS Templates
Merge pull request #7121 from takluyver/windows-int-parent-handle...
Merge pull request #7121 from takluyver/windows-int-parent-handle Convert parent handle to an int before setting environment variable

File last commit:

r18493:1ba04ac3
r19295:abab15a2 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;
}