Add documentation search and remove duplicated extension imports

gisaia · Dec 5, 2024 · f1d367b · f1d367b
1 parent a1b156f
commit f1d367b
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
@@ -11,13 +11,10 @@ edit_uri: ""
 markdown_extensions:
   - admonition
   - codehilite
-  - markdown.extensions.admonition
   - pymdownx.superfences
   - pymdownx.tabbed:
       alternate_style: true
-  - admonition
   - pymdownx.details
-  - pymdownx.superfences
 
 theme:
   name: material
@@ -41,6 +38,7 @@ nav:
 - Concepts: concepts.md
 
 plugins:
+  - search
   - termynal:
       prompt_literal_start:
         - ">"