</ul> <script> let langToggle = document.getElementById("language-toggle"); let langList = document.getElementById("language-list"); langToggle.addEventListener("click", (event) => { langList.style.display = langList.style.display == "block" ? "none" : "block"; }); let selectedLang = document.getElementById("{{ language }}"); if (selectedLang) { selectedLang.parentNode.classList.add("theme-selected"); } // The path to the root, taking the current // language into account. {{#if (eq language "en")}} let full_path_to_root = "{{ path_to_root }}"; {{else}} let full_path_to_root = "{{ path_to_root }}../";