##// END OF EJS Templates
Backport PR #8271: Allow to set same mode as existing if load fails....
Backport PR #8271: Allow to set same mode as existing if load fails. Setting the mode many times in a row, would fail to actually set the mode if it was failing to load the mode the first time. The prevent the above behavior by falling back **explicitly** to 'null' if mode does not exist yet, or can't be loaded. ...

File last commit:

r19814:eb27a16e
r21463:d66c4462
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 }