window.onload = function() { toc(); updateGlobalElements(); }