Deploy website

Deploy website version based on 80ef2fc5b6
This commit is contained in:
Website Deployment Script 2020-04-05 14:37:09 +00:00
parent 53874a044a
commit 46555d87e0
3 changed files with 12 additions and 12 deletions

View file

@ -21,7 +21,7 @@
return;
}
timer = setTimeout(function () {
timer = setTimeout(function() {
timer = null;
var activeNavFound = false;
var headings = findHeadings(); // toc nav anchors
@ -75,7 +75,7 @@
document.addEventListener('scroll', onScroll);
document.addEventListener('resize', onScroll);
document.addEventListener('DOMContentLoaded', function () {
document.addEventListener('DOMContentLoaded', function() {
// Cache the headings once the page has fully loaded.
headingsCache = findHeadings();
onScroll();