Add search bar to documentation #74

rl-institut · Dec 9, 2024 · 11cb14f · 11cb14f
1 parent 720cfd8
commit 11cb14f
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -51,7 +51,9 @@ markdown_extensions:
       use_pygments: true
 
 plugins:
-- mkdocstrings:
+- mkdocstrings
+- search:
+    separator: '[\s\-,:!=\[\]()"/]+|(?!\b)(?=[A-Z][a-z])|\.(?!\d)|&[lg]t;'
 
 # Customization
 extra: