Keep Dictionary pages out of site navigation

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: MariusStorhaug

docs/overrides/assets/stylesheets/navigation.css

@@ -0,0 +1,7 @@
+/* Dictionary stays in the build navigation so glossary links remain published. */
+.md-tabs__item:has(.md-tabs__link[href*="Dictionary/"]),
+.md-nav__item:has(.md-nav__link[href*="Dictionary/"]),
+html:has(link[rel="canonical"][href*="/Dictionary/"]) .md-tabs__item--active,
+html:has(link[rel="canonical"][href*="/Dictionary/"]) .md-nav__item--active {
+    display: none;
+}

docs/zensical.toml

@@ -13,6 +13,9 @@ extra_javascript = [
   "https://unpkg.com/tablesort@5.3.0/dist/tablesort.min.js",
   "assets/javascripts/tablesort.js",
 ]
+extra_css = [
+  "assets/stylesheets/navigation.css",
+]
 watch = ["includes"]
 nav = [
   "index.md",
@@ -52,6 +55,9 @@ nav = [
     {"Principles and practices" = "specification/principles-and-practices.md"},
   ]},
   {"Modules" = "Modules/index.md"},
+  {"Dictionary" = [
+    "Dictionary/index.md",
+  ]},
 ]
 
 [project.theme]