Fix menu header in place when scrolling for easier navigation

egrace479 · egrace479 · commit 9be8c974918d · 2024-11-26T17:29:32.000-05:00
diff --git a/mkdocs.yaml b/mkdocs.yaml
@@ -36,6 +36,7 @@ theme:
     - content.code.copy
     - navigation.footer
     - navigation.tabs
+    - navigation.tabs.sticky
 
 extra_css:
   - stylesheets/extra.css
