##// END OF EJS Templates
use ask_exit payload in terminal console...
use ask_exit payload in terminal console avoid special frontend handling for ‘exit’ We really need to totally reconstruct how kernel shutdown works in the console interfaces, but at least this makes it behave as intended currently.

File last commit:

r16912:30744239
r17325:bfaa365b
Show More
pager.less
22 lines | 392 B | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 div#pager_splitter {
height: 8px;
}
MinRK
pager styling...
r10914 #pager-container {
position: relative;
MinRK
reduce horizontal padding for pager-container
r10955 padding: 15px 0px;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }
div#pager {
Brian E. Granger
Lots of CSS tweaks to get nbconvert output looking right.
r15733 font-size: @notebook_font_size;
line-height: @notebook_line_height;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 overflow: auto;
display: none;
MinRK
pager styling...
r10914
pre {
line-height: @code_line_height;
Jonathan Frederic
Get notebook running with Bootstrap3
r16912 color: @text-color;
MinRK
pager styling...
r10914 background-color: @cell_background;
Brian E. Granger
Adjusting padding of output subareas and adding @code_padding.
r13687 padding: @code_padding;
MinRK
pager styling...
r10914 }
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }