rtd-ci: add read-the-docs integration

2019-09-06 13:55:20 +02:00
parent d7bd5628d4
commit d33d03189e
6 changed files with 124 additions and 3 deletions
--- a/documentation/_static/css/custom.css
+++ b/documentation/_static/css/custom.css
@@ -0,0 +1,7 @@
+.wy-side-nav-search {
+    background-color: #18334B;
+}
+
+.wy-side-nav-search input[type="text"] {
+    border-color: #18334b;
+}