docs: add some search features to mkdocs config (#704)

Enables some search features for the mkdocs config.
This commit is contained in:
Clement Tsang 2022-04-11 03:54:21 -04:00 committed by GitHub
parent 7c62822732
commit 08bb933f38
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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: