Add missing footer declaration

This commit is contained in:
Gael Guennebaud 2020-07-24 10:28:44 +02:00
parent c1ffe452fc
commit fb0c6868ad

View File

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