diff -r 8e7ef0675946 -r 02d3e4b1245f docs/html/davdoc.css
--- a/docs/html/davdoc.css Sun Aug 06 17:02:25 2017 +0200
+++ b/docs/html/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;