fixup: [spec] npm run build

gibson042 · Dec 8, 2022 · 32277ed · 32277ed
1 parent 831f523
commit 32277ed
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/docs/index.html b/docs/index.html
@@ -2528,7 +2528,10 @@
 // There aren't many headings, so just expand them all by default.
 document.addEventListener("DOMContentLoaded", function() {
   try {
-    document.querySelectorAll("#menu-toc li").forEach(el => el.click());
+    const menuItems = Array.from(document.querySelectorAll("#menu-toc li"));
+    if (!menuItems.some(el => el.classList.has("active"))) {
+      menuItems.forEach(el => el.classList.add("active"));
+    }
   } catch (ex) {}
 });
 </script>