Fix javascript hacks for oxygen 1.8.13

(grafted from 9c8decffbf13604d419d5ea530169cc91afcd45a
)
This commit is contained in:
Gael Guennebaud 2018-04-11 11:30:14 +02:00
parent bde2bfcee8
commit 5fec52ced1

View File

@ -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();