##// END OF EJS Templates
Public server firewall configuration...
Public server firewall configuration Added section on firewall configuration. This should prevent users (like me) from struggling to figure out why their servers aren't executing code.

File last commit:

r17429:d659744c
r18943:c128d1bd
Show More
pager.less
25 lines | 470 B | text/x-less | LessCssLexer
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();
}