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.

IPython/html/static/base/js/page.js

@@ -56,7 +56,7 b' define(['
 
     Page.prototype._resize_site = function() {
         // Update the site's size.
-        $('div#site').height(window.innerHeight - $('#header').height());
+        $('div#site').height($(window).height() - $('#header').height());
     };
 
     // Register self in the global namespace for convenience.

IPython/html/static/terminal/js/main.js

@@ -36,7 +36,7 b' require(['
     
     var header = $("#header")[0]
     function calculate_size() {
-        var height = window.innerHeight - header.offsetHeight;
+        var height = $(window).height() - header.offsetHeight;
         var width = $('#terminado-container').width();
         var rows = Math.min(1000, Math.max(20, Math.floor(height/termRowHeight())-1));
         var cols = Math.min(1000, Math.max(40, Math.floor(width/termColWidth())-1));
@@ -57,7 +57,7 b' require(['
       var geom = calculate_size();
       terminal.term.resize(geom.cols, geom.rows);
       terminal.socket.send(JSON.stringify(["set_size", geom.rows, geom.cols,
-                                    window.innerHeight, window.innerWidth]));
+                                    $(window).height(), $(window).width()]));
     };
 
 });