##// END OF EJS Templates
Apply width and height to outter most div of the tab widget.
Apply width and height to outter most div of the tab widget.

File last commit:

r19814:eb27a16e
r21464:39954bd8
Show More
terminal.less
32 lines | 567 B | text/x-less | LessCssLexer
Jonathan Frederic
Remove superfluous body tag from terminal less
r19767 .terminal-app {
Jonathan Frederic
Use page backdrop with the terminal
r19757 background: @page-backdrop-color;
Jonathan Frederic
Make terminal pretty
r19649
Jonathan Frederic
Use page backdrop with the terminal
r19757 #header {
background: @body-bg;
.box-shadow(@global-shadow);
Jonathan Frederic
Make terminal pretty
r19649 }
Bussonnier Matthias
recompute dummy size dynamically + styling in css
r18489
Jonathan Frederic
Use page backdrop with the terminal
r19757 .terminal {
float: left;
font-family: monospace;
color: white;
background: black;
padding: @code_padding;
border-radius: @border-radius-base;
.box-shadow(@global-shadow-dark);
&, dummy-screen {
line-height: 1em;
font-size: @notebook_font_size;
}
}
.terminal-cursor {
color: black;
background: white;
}
Thomas Kluyver
Move terminal CSS into LESS file
r18493
Jonathan Frederic
Use page backdrop with the terminal
r19757 #terminado-container {
margin-top: @page-header-padding;
}
Thomas Kluyver
Move terminal CSS into LESS file
r18493 }