##// END OF EJS Templates
remove inappropriate negative margin on menubar...
remove inappropriate negative margin on menubar caused 1px mismatch between header background and menubar when toolbar is hidden.

File last commit:

r19655:ead97438
r20109:fd224203
Show More
pager.less
69 lines | 1.5 KiB | text/x-less | LessCssLexer
div#pager {
background-color: @body-bg;
font-size: @notebook_font_size;
line-height: @notebook_line_height;
overflow: hidden;
display: none;
position: fixed;
bottom: 0px;
width: 100%;
max-height: 50%;
padding-top: 8px;
.box-shadow(@global-shadow);
/* Display over codemirror */
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */
top: inherit !important;
pre {
line-height: @code_line_height;
color: @text-color;
background-color: @cell_background;
padding: @code_padding;
}
#pager-button-area {
position: absolute;
top: 8px;
right: 20px;
}
#pager-contents {
position: relative;
overflow: auto;
width: 100%;
height: 100%;
#pager-container {
position: relative;
padding: 15px 0px;
.border-box-sizing();
}
}
.ui-resizable-handle {
top: 0px;
height: 8px;
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;
width: 30px;
margin-left: -15px;
position: absolute;
border-top: 1px solid @light_border_color;
}
}
}