From bb7afd306add29188358f3dafcf0c13f669210d1 Mon Sep 17 00:00:00 2001
From: Paul Ouellette <oue.paul18@gmail.com>
Date: Fri, 12 Apr 2019 08:29:29 -0400
Subject: Add Mkdocs API site (#8133)

* Add MkDocs API site
---
 doc/mkdocs/docs/css/extra.css | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 doc/mkdocs/docs/css/extra.css

(limited to 'doc/mkdocs/docs/css/extra.css')

diff --git a/doc/mkdocs/docs/css/extra.css b/doc/mkdocs/docs/css/extra.css
new file mode 100644
index 000000000..8fde9f893
--- /dev/null
+++ b/doc/mkdocs/docs/css/extra.css
@@ -0,0 +1,15 @@
+/* Fix partly obscured last TOC element */
+.wy-menu {
+  padding-bottom: 20px;
+}
+
+/* Use Minetest green instead of blue */
+.wy-nav-content a {
+  color: hsl(100, 40%, 40%);
+}
+.wy-nav-content a:hover {
+  color: hsl(100, 30%, 30%);
+}
+.wy-side-nav-search, .wy-nav-top, .wy-menu-vertical a:active {
+  background: hsl(100, 40%, 40%);
+}
-- 
cgit v1.2.3