in site-ui/src/js/06-nav.js [63:66]
function fitNavMenu (preferredHeight, availableHeight, encroachingElement) {
var reclaimedHeight = availableHeight - encroachingElement.getBoundingClientRect().top
navMenu.element.style.height = reclaimedHeight > 0 ? Math.max(0, preferredHeight - reclaimedHeight) + 'px' : ''
}