##// END OF EJS Templates
tweak raw_input style...
tweak raw_input style more crowded, less jumpy

File last commit:

r9277:3a70b9df
r10376:641fc2f7
Show More
printnotebook.less
10 lines | 342 B | text/x-less | LessCssLexer
@media print {
body { overflow: visible !important; }
div#notebook { overflow: visible !important; }
.ui-widget-content { border: 0px; }
#save_widget {margin: 0px !important;}
#header,#pager,#pager_splitter,#menubar,#toolbar {display: none !important;}
.cell { border:none !important}
.toolbar { display: none}
}