rtd-ci: add read-the-docs integration

2019-09-06 11:59:45 +02:00
parent 03b0121021
commit 710bcde7be
6 changed files with 1756 additions and 1003 deletions
@@ -0,0 +1,7 @@
+.wy-side-nav-search {
+    background-color: #18334B;
+}
+
+.wy-side-nav-search input[type="text"] {
+    border-color: #18334b;
+}