diff options
-rw-r--r-- | doc/eigen_navtree_hacks.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/eigen_navtree_hacks.js b/doc/eigen_navtree_hacks.js index 88b7c4218..afb97edf5 100644 --- a/doc/eigen_navtree_hacks.js +++ b/doc/eigen_navtree_hacks.js @@ -5,6 +5,7 @@ function generate_autotoc() { if(headers.length > 1) { var toc = $("#side-nav").append('<div id="nav-toc" class="toc"><h3>Table of contents</h3></div>'); toc = $("#nav-toc"); + var footer = $("#nav-path"); var footerHeight = footer.height(); toc = toc.append('<ul></ul>'); toc = toc.find('ul'); |