Remove duplicate UNCONST definition.

[mandoc.git] / index.css

diff --git a/index.css b/index.css
index 559dd979527650d6f886cbeb2326760af08f8ccb..d8d0b2d80f7433a4dd686f96817fbb8c916890d5 100644 (file)
--- a/index.css
+++ b/index.css
@@ -1,6 +1,6 @@
 body           { color: #333333;
-                 font-size: smaller;
-                 font-family: Verdana, Tahoma, Arial, sans-serif; }
+                 font-size: 0.93em;
+                 font-family: Times, sans-serif; }
 
 table.frame    { max-width: 800px; 
                  padding-right: 2em;
@@ -23,6 +23,8 @@ h2            { font-weight: bold;
 
 span.nm                { font-weight: bold; }
 
+span.file      { font-style: italic; }
+
 span.attn      { color: #000000; font-weight: bold; }
 
 span.flag      { font-weight: bold; }