diff -r 8e7ef0675946 -r 02d3e4b1245f docs/src/davdoc.css
--- a/docs/src/davdoc.css	Sun Aug 06 17:02:25 2017 +0200
+++ b/docs/src/davdoc.css	Sun Aug 06 18:18:00 2017 +0200
@@ -21,6 +21,20 @@
     float: right;
 }
 
+.header a:link {
+	text-decoration: none;
+	color: black;
+}
+
+.header a:visited {
+	text-decoration: none;
+	color: black;
+}
+
+.header a:hover {
+	color: #e68a00;
+}
+
 .sidebar {
     float: left;
     width: 15em;