diff -r 5577d3eae04c -r fa48ab29abd2 docs/html/davdoc.css
--- a/docs/html/davdoc.css	Fri Aug 04 20:03:21 2017 +0200
+++ b/docs/html/davdoc.css	Sat Aug 05 09:36:03 2017 +0200
@@ -2,7 +2,7 @@
     font-family: sans-serif;
 }
 
-div.header {
+.header {
     padding-top: 0.3em;
     padding-bottom: 0.5em;
     margin-bottom: 2em;
@@ -11,31 +11,31 @@
     border-bottom-color: #2E2E2E;
 }
 
-div.header span {
+.header span {
     font-size: 2em;
     font-weight: bold;
     margin-left: 1em;
 }
 
-div.header img {
+.header img {
     float: right;
 }
 
-div.sidebar {
+.sidebar {
     float: left;
     width: 15em;
 }
 
-div.nav {
+.nav {
     color: black;
     background-color: #d2d2d2;
     margin-bottom: 1em;
     padding-bottom: 0.1em;
 }
 
-div.nav h3 {
+.nav h3 {
     color: white;
-    background-color: #1a3300;
+    background-color: #008080;
     font-size: 1.2em;
     padding-top: 0.2em;
     padding-bottom: 0.2em;
@@ -43,13 +43,27 @@
     margin-top: 0;
 }
 
-div.nav ul {
+.nav ul {
     margin-top: 0;
     padding-top: 0;
     font-size: 0.95em;
 }
 
-div.content {
+.nav a:link {
+	text-decoration: none;
+	color: black;
+}
+
+.nav a:visited {
+	text-decoration: none;
+	color: black;
+}
+
+.nav a:hover {
+	color: #e68a00;
+}
+
+.content {
     margin-left: 16em;
     padding: 0;
     font-family: serif;
@@ -57,9 +71,9 @@
     min-width: 16em;
 }
 
-div.content h1 {
+.content h1 {
     color: white;
-    background-color: #1a3300;
+    background-color: #008080;
     font-size: 1.2em;
     padding-top: 0.2em;
     padding-bottom: 0.2em;
@@ -68,11 +82,11 @@
     margin-top: 0;
 }
 
-div.content h2 {
+.content h2 {
     font-size: 1.2em;
 }
 
-div.content h3 {
+.content h3 {
     font-size: 1.05em;
 }