make mobile look nice

This commit is contained in:
Jacky Zhao
2025-03-09 14:03:10 -07:00
parent 9f8a8c83e5
commit e320324cf2
3 changed files with 40 additions and 39 deletions

View File

@@ -259,9 +259,10 @@ document.addEventListener("prenav", async (e: CustomEventMap["prenav"]) => {
document.addEventListener("nav", async (e: CustomEventMap["nav"]) => {
const currentSlug = e.detail.url
const mobileExplorer = document.querySelector("#mobile-explorer")
if (mobileExplorer) {
mobileExplorer.classList.add("collapsed")
// collapse explorer on mobile
for (const explorer of document.querySelectorAll(".explorer")) {
explorer.classList.add("collapsed")
explorer.setAttribute("aria-expanded", "false")
}
await setupExplorer(currentSlug)