Docs docs docs

2021-12-04 23:37:50 -05:00
parent cd80c7ebd8
commit 0f57bd147c
26 changed files with 204 additions and 13 deletions
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -33,7 +33,7 @@ theme:
    - search.highlight
    - search.share
    - navigation.sections
-    - navigation.instant
+    # - navigation.instant
    - toc.integrate
    - content.tabs.link
 extra:
@@ -67,6 +67,8 @@ markdown_extensions:

 plugins:
  - search
+  - minify:
+      minify_html: true

 nav:
 - "Getting started": index.md