Fix javascript hacks for oxygen 1.8.13

This commit is contained in:
Gael Guennebaud 2018-04-11 11:30:14 +02:00
parent e798466871
commit 9c8decffbf

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