website/public/assets/js/shells/docs.js

// Handle docs menu open/close
{
	const CLASSNAME_DOCS_MENU_OPEN = "docsMenuOpen";

	// Toggle docs menu on button click
	document.querySelector("section.menu").addEventListener("click", () => document.body.classList.toggle(CLASSNAME_DOCS_MENU_OPEN));
	// Hide docs menu on navigation
	document.addEventListener(vegvisir.Navigation.EVENTS.STARTED, () => document.body.classList.remove(CLASSNAME_DOCS_MENU_OPEN));
}