##// END OF EJS Templates
Merge pull request #1451 from minrk/headlevel...
Merge pull request #1451 from minrk/headlevel Include heading level in JSON. Closes #1439.

File last commit:

r5878:b0954abb
r6157:5c23e25f merge
Show More
printnotebook.css
5 lines | 197 B | text/css | CssLexer
body { overflow: visible !important; }
div#notebook { overflow: visible !important; }
.ui-widget-content { border: 0px; }
#save_widget {margin: 0px !important;}
#header {display: none !important;}