##// END OF EJS Templates
update mode on rename
update mode on rename

File last commit:

r19237:3c8e9741
r19321:faac5da9
Show More
pager.less
51 lines | 1.1 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: 7px;
/* 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: 7px;
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: 7px;
background: @light_border_color;
border-bottom: 1px solid @border_color;
}
}