add search share button to website

2022-09-11 13:28:14 +02:00 · 2022-09-11 13:28:14 +02:00 · d598f4334e
commit d598f4334e
parent 075748b21a
1 changed files with 2 additions and 0 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@ -49,6 +49,8 @@ theme:
  logo: "images/logo.png"
  favicon: "images/logo.png"
  custom_dir: "docs/overrides"
+  features:
+    - search.share
  palette:
    - scheme: default
      primary: "blue grey"