Changed default theme

Prateek-Thakare · Prateek-Thakare · commit 9edfc526681b · 2023-11-22T15:21:51.000+05:30
diff --git a/book.toml b/book.toml
@@ -8,5 +8,5 @@ title = "Mantis - Documentation"
 [output.html]
 additional-css = ["src/css/custom.css"]
 site-url = "/mantis/"
-default-theme = "rust"
-preferred-dark-theme = "rust"
+default-theme = "navy"
+preferred-dark-theme = "navy"
