Updated HTML-manual. Changed default setting on some cvars.

2009-10-14 02:58:16 +02:00
parent 6ef9e6ecbf
commit 54c0380d6a
5 changed files with 1040 additions and 36 deletions
@@ -18,6 +18,9 @@ h3
 {
    font-family: "Verdana", "Arial", "Times";
    font-size: medium;
+    border-bottom-style: dotted;
+    border-bottom-color: #C0C0C0;
+    border-bottom-width: 2px;
 }

 h4