##// END OF EJS Templates
Removing return value of restart_kernel....
Removing return value of restart_kernel. The kernel_id is *always* the same under a restart and there is no need to return it. The restart handler does pass the original kernel_id back to the browser as it currently uses it.

File last commit:

r7780:a59dd57c
r9113:9bb3bea0
Show More
printnotebook.css
7 lines | 271 B | text/css | CssLexer
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}