##// END OF EJS Templates
fix directory listing with broken symlinks...
fix directory listing with broken symlinks directory listing would 404 if any listed file doesn't exist (e.g. symlink to missing target). Previously-failing test included.

File last commit:

r17429:d659744c
r17710:68e1f474
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();
}