(() => { let selection = null; if (document.location.hash !== null && (selection = document.getElementById(document.location.hash.replace("#", ""))) !== null) { selection.classList.add("selected"); } })();