##// END OF EJS Templates
skip permission -> 403 test on Windows...
skip permission -> 403 test on Windows The test actually passes on my VM (Win 7), but not on Jenkins (Server 2012). I haven't figured out how to identify the subset of Windows systems where it won't work, but since the problem appears to be in the test, not the tested code, skipping on Windows seems the right way to go.

File last commit:

r20206:bd6113af
r20575:7211fc10
Show More
pager.less
69 lines | 1.5 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: 8px;
.box-shadow(@global-shadow);
/* Display over codemirror */
z-index: 100;
/* Hack which prevents jquery ui resizable from changing top. */
top: auto !important;
pre {
line-height: @code_line_height;
color: @text-color;
background-color: @cell_background;
padding: @code_padding;
}
#pager-button-area {
position: absolute;
top: 8px;
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: 8px;
background: @cell_background;
border-top: 1px solid @light_border_color;
border-bottom: 1px solid @light_border_color;
/* This injects handle bars (a short, wide = symbol) for
the resize handle. */
&::after {
content: '';
top: 2px;
left: 50%;
height: 3px;
width: 30px;
margin-left: -15px;
position: absolute;
border-top: 1px solid @light_border_color;
}
}
}