Add plugins to mkdocs

2022-03-22 01:31:39 +03:00 · 2021-12-30 16:55:04 +01:00
parent 9fd71c3044
commit 4539420d5c
1 changed files with 6 additions and 0 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -79,6 +79,12 @@ extra_javascript:
 extra_css:
  - assets/stylesheets/extra.css

+# Plugins
+plugins:
+  - search
+  - minify:
+      minify_html: true
+
 # Page tree
 nav:
  - Getting started: