1.10.0

2007-11-21 16:34:16 +00:00
parent 0cc19093a5
commit 05fe60f3a9
17 changed files with 378 additions and 238 deletions
@@ -77,6 +77,9 @@ p.indexthumb {
 .application {
    font-weight: bold;
 }
+.literal {
+    font-family: monospace;
+}
 .command {
    font-family: monospace;
 }
@@ -85,7 +88,7 @@ p.indexthumb {
    color: #007a00;
 }

-a.important {
+.important {
    background: yellow;
 }
 a.weak {