##// END OF EJS Templates
Update Dockerfile...
Update Dockerfile Latest master removed the `--system` flag. You can pass a `--user` flag for non-system install.

File last commit:

r19668:30230e59
r19754:80389084
Show More
terminal.less
23 lines | 396 B | text/x-less | LessCssLexer
Bussonnier Matthias
recompute dummy size dynamically + styling in css
r18489 .terminal {
float: left;
Jonathan Frederic
Make terminal pretty
r19649 font-family: monospace;
Bussonnier Matthias
recompute dummy size dynamically + styling in css
r18489 color: white;
background: black;
Jonathan Frederic
Make terminal pretty
r19649 padding: @code_padding;
Jonathan Frederic
Remove right margin from the terminal
r19668 border-radius: @border-radius-base;
.box-shadow(@global-shadow-dark);
Jonathan Frederic
Make terminal pretty
r19649
&, dummy-screen {
Jonathan Frederic
Address review comments
r19653 line-height: 1em;
Jonathan Frederic
Make terminal pretty
r19649 font-size: @notebook_font_size;
}
Bussonnier Matthias
recompute dummy size dynamically + styling in css
r18489 }
.terminal-cursor {
color: black;
background: white;
}
Thomas Kluyver
Move terminal CSS into LESS file
r18493
#terminado-container {
Jonathan Frederic
Additional aesthetic clean-up
r19658 margin-top: @page-header-padding;
Thomas Kluyver
Move terminal CSS into LESS file
r18493 }