##// 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:

r16970:5020129d
r17325:bfaa365b
Show More
celltoolbar.less
49 lines | 956 B | text/x-less | LessCssLexer
/* CSS for the cell toolbar */
@celltoolbar-height: 29px;
.celltoolbar {
border: thin solid #CFCFCF;
border-bottom: none;
background : #EEE;
border-radius : 3px 3px 0px 0px;
width:100%;
-webkit-box-pack: end;
height: @celltoolbar-height;
padding-right: 4px;
.hbox();
.reverse();
}
.ctb_hideshow {
display:none;
vertical-align:bottom;
}
/* ctb_show is added to the ctb_hideshow div to show the cell toolbar.
Cell toolbars are only shown when the ctb_global_show class is also set.
*/
.ctb_global_show .ctb_show.ctb_hideshow {
display: block;
}
.ctb_global_show .ctb_show + .input_area,
.ctb_global_show .ctb_show + div.text_cell_input
{
border-top-right-radius: 0px;
border-top-left-radius: 0px;
}
.celltoolbar {
font-size: 87%;
padding-top: 3px;
}
.celltoolbar select {
font-size: 87%;
height: 22px;
}
.celltoolbar label {
margin-left: 5px;
margin-right: 5px;
}