in content/js/flink.js [183:187]
function resizeNav(event) {
const footerTop = Math.min(0, document.querySelector('footer').getBoundingClientRect().top - window.innerHeight);
const headerSize = document.querySelector('header nav').getBoundingClientRect().bottom;
document.querySelector('aside nav').style.height = (window.innerHeight - headerSize + footerTop) + 'px';
}