updated mkdocs

xigxog · Oct 19, 2023 · 71ba74d · 71ba74d
1 parent e2cd7f7
commit 71ba74d
Show file tree

Hide file tree

Showing 6 changed files with 111 additions and 626 deletions.
diff --git a/Pipfile b/Pipfile
@@ -4,11 +4,9 @@ verify_ssl = true
 name = "pypi"
 
 [packages]
-mkdocs = "*"
-mkdocs-material = "*"
-mkdocs-mermaid2-plugin = "*"
-
-[dev-packages]
+mkdocs = "==1.5.3"
+mkdocs-material = "==9.4.1" # versions above this screw up the nav
+mkdocs-mermaid2-plugin = "==1.1.1"
 
 [requires]
 python_version = "3"
diff --git a/Pipfile.lock b/Pipfile.lock
diff --git a/docs/Pipfile b/docs/Pipfile