##// END OF EJS Templates
Merge pull request #7666 from minrk/edit-download...
Merge pull request #7666 from minrk/edit-download add download link to editor

File last commit:

r20206:bd6113af
r20330:5ac691e1 merge
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 }