Always store the arch in lower-case only.

[mandoc.git] / index.css

diff --git a/index.css b/index.css
index 7acadb52a271533f2c96c75ff2a5d31f93c6d654..d98316eaf311e5f4ede754d47de87f186fca49bf 100644 (file)
--- a/index.css
+++ b/index.css
@@ -1,44 +1,48 @@
-body           { color: #333333;
-                 font-size: smaller;
-                 font-family: Verdana, Tahoma, Arial, sans-serif; }
+html           { min-width: 40em;
+                 margin-top: 2em;
+                 margin-left: auto;
+                 margin-right: auto;
+                 width: 80%; }
 
-table.frame    { max-width: 800px; 
-                 padding-left: 10px; }
+body           { text-align: justify; 
+                 font-family: Helvetica,Arial,sans-serif;
+                 line-height: 120%;
+                 font-size: small; }
 
-table          { padding-left: 40px; }
+p,ul,table     { margin-left: 3em; }
 
-p              { padding-left: 40px;
-                 text-align: justify; }
+p.head, 
+p.subhead,
+p.foot         { margin-left: 0.0em; margin-right: 0.0em; }
 
-h1             { font-weight: bold;
-                 font-size: small;
-                 font-family: Verdana, Tahoma, Arial, sans-serif; }
+p.news         { margin-left: 2.0em; }
 
-h2             { font-weight: bold;
-                 font-size: small;
-                 padding-left: 20px;
-                 margin-bottom: 0px; 
-                 font-family: Verdana, Tahoma, Arial, sans-serif; }
+li             { margin: 0.25em; }
 
-span.rev       { font-weight: bold; }
+h1             { font-size: 110%; }
+h2             { font-size: 105%; margin-left: 1.5em }
 
-span.nm                { color: #000000; font-weight: bold; }
+p.head         { margin-bottom: 0.5em;
+                 border-bottom: 1px solid #dddddd; 
+                 padding-bottom: 0.2em; }
 
-span.attn      { color: #000000; font-weight: bold; }
+p.subhead      { margin-top: 0em; 
+                 margin-bottom: 1.75em; }
 
-span.flag      { font-weight: bold; }
+p.foot         { border-top: 1px solid #dddddd; 
+                 color: #666666;
+                 padding-top: 0.2em;
+                 margin-top: 1.75em; }
+
+span.nm                { color: green; }
 
-div.head       { border-bottom: 1px dotted #cccccc; 
-                 padding-bottom: 5px;
-                 text-align: right; }
+span.file      { font-style: italic; }
 
-div.foot       { border-top: 1px dotted #cccccc; 
-                 padding-top: 5px;
-                 font-size: smaller;
-                 text-align: right; }
+span.attn      { font-weight: bold; }
 
-a.external     { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
+span.flag      { font-weight: bold; }
 
-span.date      { color: #808080; }
+a              { text-decoration: none; }
 
-col.date       { width: 8em; }
+a.external     { background: transparent url(external.png) center right no-repeat; 
+                 padding-right: 12px; }