Keep whole nav in the HTML, for better browsing

2023-10-17 18:20:09 +02:00 · 2023-10-17 18:20:09 +02:00 · a125f824b2
commit a125f824b2
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -15,7 +15,7 @@ theme:
    - content.code.copy
    - navigation.footer
    - navigation.instant
-    - navigation.prune
+    # - navigation.prune
    - navigation.top
    - navigation.tracking
    - search.highlight