You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
70 lines
1.5 KiB
70 lines
1.5 KiB
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;
|
|
}
|
|
}
|
|
}
|