##// END OF EJS Templates
Merge pull request #7553 from minrk/kernel-test-intermittent...
Merge pull request #7553 from minrk/kernel-test-intermittent address intermittent failure in execute_stop_on_error

File last commit:

r20127:f4b3fefe merge
r20140:2507fe22 merge
Show More
notebook.less
84 lines | 1.6 KiB | text/x-less | LessCssLexer
@media (max-width: @screen-xs-max) {
// remove bootstrap-responsive's body padding on small screens
.notebook_app {
padding-left: 0px;
padding-right: 0px;
}
}
#ipython-main-app {
.border-box-sizing();
}
div#notebook_panel {
margin: 0px;
padding: 0px;
.border-box-sizing();
}
#notebook {
font-size: @notebook_font_size;
line-height: @notebook_line_height;
overflow-y: hidden;
overflow-x: auto;
width: 100%;
/* This spaces the page away from the edge of the notebook area */
padding-top: @page-header-padding;
margin: 0px;
outline: none;
.border-box-sizing();
}
#notebook-container{
@media not print{
padding: @page-padding;
background-color : @page-color;
min-height: @page-min-height;
.box-shadow(@global-shadow);
}
}
div.ui-widget-content {
border: 1px solid @border_color;
outline: none;
}
pre.dialog {
background-color: @cell_background;
border: 1px solid #ddd;
.corner-all;
padding: 0.4em;
padding-left: 2em;
}
p.dialog {
padding : 0.2em;
}
/* Word-wrap output correctly. This is the CSS3 spelling, though Firefox seems
to not honor it correctly. Webkit browsers (Chrome, rekonq, Safari) do.
*/
pre, code, kbd, samp { white-space: pre-wrap; }
#fonttest {
font-family: @font-family-monospace;
}
p {
margin-bottom:0;
}
.end_space {
min-height: 100px;
transition: height .2s ease;
}
.notebook_app #header {
.box-shadow(@global-shadow);
}
.notebook_app{
@media not print {
background-color: @page-backdrop-color;
}
}