1 files changed, 4 insertions, 0 deletions
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js
index bd7e02b38..39c59f73c 100644
--- a/doc/eigen_navtree_hacks.js
+++ b/doc/eigen_navtree_hacks.js
@@ -65,6 +65,10 @@ function getNode(o, po)
 function resizeHeight() 
 {
   var toc = $("#nav-toc");
+  var header = $("#header");
+  var content = $("#doc-content");
+  var navtree = $("#nav-path");
+  var sidenav = $("#side-nav");
   var tocHeight = toc.height();  // <- we added this line
   var headerHeight = header.height();
   var footerHeight = footer.height();