Close all other navbar dropdowns when different one opens (fixes #59)

static/details.js

@@ -0,0 +1,18 @@
+document.addEventListener("DOMContentLoaded", function () {
+	const nav = document.getElementById("site-nav");
+	const details = nav.querySelectorAll("details");
+
+	details.forEach((detail) => {
+		detail.addEventListener("toggle", () => {
+			if (detail.open) setTargetDetail(detail);
+		});
+	});
+
+	function setTargetDetail(targetDetail) {
+		details.forEach((detail) => {
+			if (detail !== targetDetail) {
+				detail.open = false;
+			}
+		});
+	}
+})