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.
26 lines
470 B
26 lines
470 B
div#pager_splitter {
|
|
height: 8px;
|
|
.border-box-sizing();
|
|
}
|
|
|
|
#pager-container {
|
|
position: relative;
|
|
padding: 15px 0px;
|
|
.border-box-sizing();
|
|
}
|
|
|
|
div#pager {
|
|
font-size: @notebook_font_size;
|
|
line-height: @notebook_line_height;
|
|
overflow: auto;
|
|
display: none;
|
|
|
|
pre {
|
|
line-height: @code_line_height;
|
|
color: @text-color;
|
|
background-color: @cell_background;
|
|
padding: @code_padding;
|
|
}
|
|
.border-box-sizing();
|
|
}
|