diff options
author | Clement Tsang <34804052+ClementTsang@users.noreply.github.com> | 2022-04-11 03:54:21 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-04-11 03:54:21 -0400 |
commit | 08bb933f3800ef25633bfe9377c92e7cd723360f (patch) | |
tree | ee0a2b8afb1e91158867e02af7f160e721e5271d /docs | |
parent | 7c628227324d6653992bf23a879c8323360027da (diff) |
docs: add some search features to mkdocs config (#704)
Enables some search features for the mkdocs config.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/mkdocs.yml | 6 |
1 files changed, 6 insertions, 0 deletions
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: |