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.
24 lines
423 B
24 lines
423 B
div#pager_splitter {
|
|
height: 8px;
|
|
}
|
|
|
|
#pager-container {
|
|
position: relative;
|
|
padding: 15px 0px;
|
|
}
|
|
|
|
div#pager {
|
|
font-size: @notebook_font_size;
|
|
line-height: @notebook_line_height;
|
|
overflow: auto;
|
|
display: none;
|
|
|
|
pre {
|
|
font-size: @baseFontSize;
|
|
line-height: @code_line_height;
|
|
color: @textColor;
|
|
background-color: @cell_background;
|
|
padding: @code_padding;
|
|
}
|
|
}
|