##// END OF EJS Templates
Backport PR #8131: handle undefined when sorting quick help...
Backport PR #8131: handle undefined when sorting quick help Since undefined is neither less than nor greater than anything in Javascript, the sort function was treating it as equal to everything, causing inconsistent behavior depending on the sort algorithm of the browser. closes #8089 This ensures undefined elements are sorted last in the sequence.

File last commit:

r20206:bd6113af
r20884:3740b498
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. */
Min RK
"fix" the pager...
r20206 top: auto !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 }