##// END OF EJS Templates
More changes to the heading spacing. Good first draft...
More changes to the heading spacing. Good first draft...

File last commit:

r14874:763c3086
r14874:763c3086
Show More
notebook.less
67 lines | 1.2 KiB | text/x-less | LessCssLexer
body {
background-color: @bodyBackground;
}
body.notebook_app {
overflow: hidden;
}
span#notebook_name {
height: 1em;
line-height: 1em;
padding: 3px;
border: none;
font-size: 146.5%;
}
div#notebook_panel {
margin: 0px 0px 0px 0px;
padding: 0px;
.box-shadow(0 -1px 10px rgba(0,0,0,.1));
}
div#notebook {
overflow-y: scroll;
overflow-x: auto;
width: 100%;
/* This spaces the cell away from the edge of the notebook area */
padding: 1em 0 1em 0;
margin: 0px;
border-top: 1px solid @border_color;
outline: none;
.border-box-sizing();
}
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: @monoFontFamily;
}
p {
margin-bottom:0;
}
.end_space {
height: 200px;
}