From 33de3970eb6552b60176230484c52a19f22a629d Mon Sep 17 00:00:00 2001 From: Christoph Hamsen Date: Fri, 14 Jun 2024 00:29:00 +0200 Subject: [PATCH] docs: re-add docs search, with suggestions and highlighting --- mkdocs.yml | 3 +++ 1 file changed, 3 insertions(+) diff --git a/mkdocs.yml b/mkdocs.yml index c3b183f..0c19791 100644 --- 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: