in antora-ui/src/js/01-nav.js [117:124]
function hideNav (e) {
var html = document.documentElement
html.classList.remove('is-clipped--nav')
navToggle.classList.remove('is-active')
navContainer.classList.remove('is-active')
html.removeEventListener('click', hideNav)
concealEvent(e)
}