add nav tabs

EffectOrientedProgramming · Sep 18, 2024 · 0639a12 · 0639a12
1 parent 4bc3cd7
commit 0639a12
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -15,6 +15,8 @@ nav:
 
 theme:
   name: material
+  features:
+    - navigation.tabs
 
 plugins:
   - redirects: