Turn on navigation footer

It was made optional and that caused it to be turned off for us.
ponylang · May 2, 2024 · b3b8bb8 · b3b8bb8
1 parent 287e9b1
commit b3b8bb8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -38,6 +38,7 @@ theme:
   features:
     - content.code.copy
     - content.code.select
+    - navigation.footer
     - navigation.indexes
     - navigation.instant
     - navigation.sections