Turn on navigation footer

It was made optional which caused it to be turned off on us.
ponylang · May 2, 2024 · f3e2a57 · f3e2a57
1 parent 4fd7f47
commit f3e2a57
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -67,6 +67,7 @@ theme:
     - content.action.edit
     - content.code.copy
     - content.code.select
+    - navigation.footer
     - navigation.indexes
     - navigation.instant
     - navigation.path