docs: re-add docs search, with suggestions and highlighting

semgr8ns · Jun 13, 2024 · 4c0c0a0 · 4c0c0a0
1 parent e958504
commit 4c0c0a0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -52,6 +52,8 @@ theme:
  - content.code.copy
  - content.code.select
  - navigation.top
+ - search.suggest
+ - search.highlight
 
 # Extensions
 markdown_extensions:
@@ -80,6 +82,7 @@ plugins:
  - glightbox:
  skip_classes:
  - skip-lightbox
+ - search
 
 # Extras
 extra_javascript: