From 08bb933f3800ef25633bfe9377c92e7cd723360f Mon Sep 17 00:00:00 2001
From: Clement Tsang <34804052+ClementTsang@users.noreply.github.com>
Date: Mon, 11 Apr 2022 03:54:21 -0400
Subject: [PATCH] docs: add some search features to mkdocs config (#704)

Enables some search features for the mkdocs config.
---
 docs/mkdocs.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml
index ab378806..87a136e0 100644
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -21,6 +21,8 @@ theme:
     - navigation.instant
     - navigation.sections
     - toc.integrate
+    - search.suggest
+    - search.highlight
   palette:
     # Light mode
     - media: "(prefers-color-scheme: light)"
@@ -109,6 +111,10 @@ markdown_extensions:
   - pymdownx.tabbed:
       alternate_style: true
 
+plugins:
+  - tags
+  - search
+
 extra:
   # Versioning
   version: