add work properly flags to the docs

DetachHead · Oct 3, 2024 · 7193b9b · 7193b9b
1 parent e9bf3d5
commit 7193b9b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -5,6 +5,8 @@ theme:
   features:
     - navigation.indexes
     - content.code.copy
+    - navigation.top
+    - navigation.instant
   palette:
     # Palette toggle for automatic mode
     - media: '(prefers-color-scheme)'