##// 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:

r17291:d1162f79
r20657:d4563772
Show More
style.less
6 lines | 70 B | text/x-less | LessCssLexer
/*!
*
* IPython auth
*
*/
@import "login.less";
@import "logout.less";