diff -r b321a3be0a38 -r c743721d566f docs/html/davdoc.css
--- a/docs/html/davdoc.css	Thu Aug 03 14:32:36 2017 +0200
+++ b/docs/html/davdoc.css	Thu Aug 03 18:29:00 2017 +0200
@@ -28,14 +28,14 @@
 
 div.nav {
     color: black;
-    background-color: #E9EBEC;
+    background-color: #d2d2d2;
     margin-bottom: 1em;
     padding-bottom: 0.1em;
 }
 
 div.nav h3 {
     color: white;
-    background-color: #5B6F7A;
+    background-color: #1a3300;
     font-size: 1.2em;
     padding-top: 0.2em;
     padding-bottom: 0.2em;
@@ -59,7 +59,7 @@
 
 div.content h1 {
     color: white;
-    background-color: #5B6F7A;
+    background-color: #1a3300;
     font-size: 1.2em;
     padding-top: 0.2em;
     padding-bottom: 0.2em;