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

r19655:ead97438
r19824:17ebfc54
Show More
pager.less
69 lines | 1.5 KiB | text/x-less | LessCssLexer
Brian E. Granger
Splitting notebook.less into separate files.
r10730 div#pager {
Jonathan Frederic
Kill the layout manager
r19179 background-color: @body-bg;
Brian E. Granger
Lots of CSS tweaks to get nbconvert output looking right.
r15733 font-size: @notebook_font_size;
line-height: @notebook_line_height;
Jonathan Frederic
Fix scroll/resize handle missing behavior.
r19181 overflow: hidden;
Brian E. Granger
Splitting notebook.less into separate files.
r10730 display: none;
Jonathan Frederic
Kill the layout manager
r19179 position: fixed;
bottom: 0px;
width: 100%;
Jonathan Frederic
Fix scrolling for large outputs
r19180 max-height: 50%;
Jonathan Frederic
Thinner handle, single handlebar
r19472 padding-top: 8px;
Jonathan Frederic
Kill the layout manager
r19179
Jonathan Frederic
Make things consistent
r19655 .box-shadow(@global-shadow);
Jonathan Frederic
Kill the layout manager
r19179 /* Display over codemirror */
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */
top: inherit !important;
MinRK
pager styling...
r10914
pre {
Jonathan Frederic
Kill the layout manager
r19179 line-height: @code_line_height;
color: @text-color;
background-color: @cell_background;
padding: @code_padding;
}
Jonathan Frederic
Fix scroll/resize handle missing behavior.
r19181 #pager-button-area {
position: absolute;
Jonathan Frederic
Thinner handle, single handlebar
r19472 top: 8px;
Jonathan Frederic
Fix scroll/resize handle missing behavior.
r19181 right: 20px;
}
#pager-contents {
Jonathan Frederic
Kill the layout manager
r19179 position: relative;
Jonathan Frederic
Fix scroll/resize handle missing behavior.
r19181 overflow: auto;
width: 100%;
height: 100%;
#pager-container {
position: relative;
padding: 15px 0px;
.border-box-sizing();
}
MinRK
pager styling...
r10914 }
Jonathan Frederic
Kill the layout manager
r19179
Jonathan Frederic
Increase pager handle size.
r19183 .ui-resizable-handle {
top: 0px;
Jonathan Frederic
Thinner handle, single handlebar
r19472 height: 8px;
Jonathan Frederic
Make the pager look better
r19439 background: @cell_background;
border-top: 1px solid @light_border_color;
border-bottom: 1px solid @light_border_color;
/* This injects handle bars (a short, wide = symbol) for
the resize handle. */
&::after {
content: '';
top: 2px;
left: 50%;
height: 3px;
Jonathan Frederic
Thinner handle, single handlebar
r19472 width: 30px;
margin-left: -15px;
Jonathan Frederic
Make the pager look better
r19439 position: absolute;
border-top: 1px solid @light_border_color;
}
Jonathan Frederic
Increase pager handle size.
r19183 }
Brian E. Granger
Splitting notebook.less into separate files.
r10730 }