Deploy website

Deploy website version based on e486d3d1b0
This commit is contained in:
Website Deployment Script 2019-06-06 10:39:26 +00:00
parent 9161d7ff30
commit 9e0b0b116a

View file

@ -38,10 +38,19 @@
* So the first one with positive bounding rect top will be the nearest next header
*/
if (currNavActive && i < headings.length - 1) {
const next = headings[i + 1].href.split('#')[1];
const heading = headings[i + 1];
const next = decodeURIComponent(heading.href.split('#')[1]);
const nextHeader = document.getElementById(next);
const top = nextHeader.getBoundingClientRect().top;
currNavActive = top > OFFSET;
if (nextHeader) {
const top = nextHeader.getBoundingClientRect().top;
currNavActive = top > OFFSET;
} else {
console.error('Can not find header element', {
id: next,
heading,
});
}
}
/**
* Stop searching once a first such header is found,
@ -56,6 +65,7 @@
}
}, 100);
};
document.addEventListener('scroll', onScroll);
document.addEventListener('resize', onScroll);
document.addEventListener('DOMContentLoaded', function() {