Added default print of `~' with empty `Pa' (not documented with OpenBSD, but still...

[mandoc.git] / style.css

diff --git a/style.css b/style.css
index d41c313fa76596ecf840b452235353be8377c494..b58ad883e5e669a8552680a41d76a42536d0d507 100644 (file)
--- a/style.css
+++ b/style.css
@@ -2,18 +2,13 @@ body          { color: #333333;
                  font-size: smaller;
                  font-family: Verdana, Tahoma, Arial, sans-serif; }
 
-p              { margin-left: 40px;
-                 text-align: justify; }
-
-table          { margin-left: 40px; }
+table.frame    { max-width: 800px; 
+                 padding-left: 10px; }
 
-ul             { margin-left: 40px; }
+table          { padding-left: 40px; }
 
-p.boxed                { border: 1px solid #cccccc; 
-                 margin-left: 40px;
-                 text-align: justify;
-                 padding: 2px;
-                 color: black; }
+p              { padding-left: 40px;
+                 text-align: justify; }
 
 h1             { font-weight: bold;
                  font-size: small;
@@ -21,29 +16,22 @@ h1          { font-weight: bold;
 
 h2             { font-weight: bold;
                  font-size: small;
-                 margin-left: 20px;
+                 padding-left: 20px;
                  margin-bottom: 0px; 
                  font-family: Verdana, Tahoma, Arial, sans-serif; }
 
-h3             { font-size: small;
-                 font-weight: normal;
-                 margin-left: 20px;
-                 margin-bottom: 0px; 
-                 font-family: Verdana, Tahoma, Arial, sans-serif; }
+div.clhead     { background-color: #E6E6FA; color: #000000; padding: 2px; font-weight: bold; }
 
-a.man          { text-decoration: none; 
-                 border-bottom: 1px dotted #999999; }
+div.clbody     { margin-left: 2px; }
 
-span.path      { color: #000000; }
+ul.clbody      { margin-top: 4px; }
+
+span.rev       { color: #808080; }
 
 span.nm                { color: #000000; font-weight: bold; }
 
 span.attn      { color: #000000; font-weight: bold; }
 
-span.fl                { font-weight: bold; }
-
-span.ar                { text-decoration: underline; }
-
 div.head       { border-bottom: 1px dotted #cccccc; 
                  padding-bottom: 5px;
                  text-align: right; }
@@ -54,4 +42,3 @@ div.foot      { border-top: 1px dotted #cccccc;
                  text-align: right; }
 
 a.external     { background: transparent url(external.png) center right no-repeat; padding-right: 12px; }
-