Replace the old flask theme with the sphinx_rtd_theme

2020-03-16 01:28:06 +01:00
1 parent 9240a20d13
commit 8f96cbdabf
@@ -0,0 +1,9 @@
+div.version {
+    color: black !important;
+    margin-top: -1.2em !important;
+    margin-bottom: .6em !important;
+}
+
+div.wy-side-nav-search {
+    padding-top: 0 !important;
+}