##// END OF EJS Templates
rethrow upstream HTTP errors...
rethrow upstream HTTP errors If the proxied request to the CDN fails, rethrow the error. We were ignoring errors and sending an empty body.

File last commit:

r20206:bd6113af
r20487:6404bf4e
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;
}
}
}