Deploy website

Deploy website version based on 1f00d15c74
This commit is contained in:
Website Deployment Script 2020-04-05 14:51:47 +00:00
parent 46555d87e0
commit 63f99f10ab
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();