##// END OF EJS Templates
use single WebSocket connection for all channels...
use single WebSocket connection for all channels multiplex on a 'channel' key in message, rather than separate websockets. Unlike zmq, there aren't different message patterns that require the channels to be separate. Reduces FD count by factor of 3 and connection complexity in js.

File last commit:

r19652:492e9645
r19824:17ebfc54
Show More
celltoolbar.less
58 lines | 1.1 KiB | text/x-less | LessCssLexer
/* CSS for the cell toolbar */
@celltoolbar-height: 29px;
.celltoolbar {
border: thin solid #CFCFCF;
border-bottom: none;
background : #EEE;
border-radius : @border-radius-base @border-radius-base 0px 0px;
width:100%;
-webkit-box-pack: end;
height: @celltoolbar-height;
padding-right: 4px;
.hbox();
.end();
@media print{
display: none;
}
}
.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 {
.form-control();
.input-sm();
width: inherit;
font-size: 87%;
height: 22px;
display: inline-block;
}
.celltoolbar label {
margin-left: 5px;
margin-right: 5px;
}