diff options
| author |  Gael Guennebaud <g.gael@free.fr> | 2018-04-11 11:30:14 +0200 |
|---|---|---|
| committer | Gael Guennebaud <g.gael@free.fr> | 2018-04-11 11:30:14 +0200 |
| commit | 9c8decffbf13604d419d5ea530169cc91afcd45a (patch) | |
| tree | 14191d9c87005099f7ad92517d50aa40f3717867 /doc/eigen_navtree_hacks.js | |
| parent | e798466871ceef80a5bd78eba460735fca829a8c (diff) | |
Fix javascript hacks for oxygen 1.8.13
Diffstat (limited to 'doc/eigen_navtree_hacks.js')
| -rw-r--r-- | doc/eigen_navtree_hacks.js | 4 |
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(); |