in static/js/script.js [122:139]
function resetTheView() {
if (html.hasClass('open-nav')) {
toggleMenu();
} else {
HEADER_HEIGHT = header.outerHeight();
}
if (html.hasClass('open-toc')) {
toggleToc();
}
classOnCondition(html, 'flip-nav', window.pageYOffset >= 0);
if (html[0].id == 'home') {
setHomeHeaderStyles();
}
}