rtd-ci: add read-the-docs integration

2019-09-06 14:05:49 +02:00
parent 246cceae3e
commit b92a3ddaa4
6 changed files with 128 additions and 6 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;
+}