##// END OF EJS Templates
use $(window).height() instead of window.innerHeight...
use $(window).height() instead of window.innerHeight to measure window height when resizing contents Sometimes these values differ by a pixel, we may never know why. window.innerHeight seems to be larger when they disagree, causing an extra scrollbar to be drawn.

File last commit:

r17372:1ad1bf0d
r20657:d4563772
Show More
style.less
19 lines | 391 B | text/x-less | LessCssLexer
@import "style_noapp.less";
/*!
*
* IPython notebook webapp
*
*/
@import "notebook.less";
@import "celltoolbar.less";
@import "completer.less";
@import "kernelselector.less";
@import "menubar.less";
@import "notificationarea.less";
@import "notificationwidget.less";
@import "pager.less";
@import "quickhelp.less";
@import "savewidget.less";
@import "toolbar.less";
@import "tooltip.less";