rtd-ci: add read-the-docs integration

2019-09-06 10:07:25 +02:00
parent b903df5d0d
commit bff2dc9cd2
6 changed files with 308 additions and 126 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;
+}