##// END OF EJS Templates
protect Widget._style_sheet_changed from being called before _control exists...
protect Widget._style_sheet_changed from being called before _control exists also ensure _control attributes start out as None, rather than undefined

File last commit:

r5878:b0954abb
r6055:d5055887
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;}