in antora-ui/src/js/01-nav.js [107:115]
function showNav (e) {
if (navToggle.classList.contains('is-active')) return hideNav(e)
var html = document.documentElement
html.classList.add('is-clipped--nav')
navToggle.classList.add('is-active')
navContainer.classList.add('is-active')
html.addEventListener('click', hideNav)
concealEvent(e)
}