===================================================================
RCS file: /cvs/mandoc/Attic/style.css,v
retrieving revision 1.5
retrieving revision 1.10
diff -u -p -r1.5 -r1.10
--- mandoc/Attic/style.css	2009/07/04 08:06:42	1.5
+++ mandoc/Attic/style.css	2009/09/24 09:20:02	1.10
@@ -1,36 +1,26 @@
-body		{ color: #333333;
-		  font-size: smaller;
+div.body	{ color: #333333; 
+		  max-width: 800px;
+		  padding-left: 10px;
+		  font-size: smaller; 
 		  font-family: Verdana, Tahoma, Arial, sans-serif; }
+span.sec-head	{ font-weight: bold; color: blue; } 
+span.ssec-head	{ font-weight: bold; color: blue; }
+span.addr	{ text-decoration: underline; }
+span.arg	{ font-style: italic; }
+span.cmd	{ font-weight: bold; }
+span.config	{ font-weight: bold; }
+span.diag	{ font-weight: bold; }
+span.emph	{ font-style: italic; }
+span.farg	{ text-decoration: underline; }
+span.fname	{ font-style: italic; }
+span.file	{ font-style: italic; }
+span.flag	{ font-weight: bold; }
+span.includes	{ font-weight: bold; }
+span.name	{ font-weight: bold; } 
+span.type	{ font-style: italic; }
+span.utility	{ font-weight: bold; }
+span.var	{ font-weight: bold; }
 
-table.frame	{ max-width: 800px; 
-		  padding-left: 10px; }
+table.header	{ border-bottom: 1px dotted #cccccc; }
+table.footer	{ border-top: 1px dotted #cccccc; }
 
-table		{ padding-left: 40px; }
-
-p		{ padding-left: 40px;
-		  text-align: justify; }
-
-h1		{ font-weight: bold;
-		  font-size: small;
-		  font-family: Verdana, Tahoma, Arial, sans-serif; }
-
-h2		{ font-weight: bold;
-		  font-size: small;
-		  padding-left: 20px;
-		  margin-bottom: 0px; 
-		  font-family: Verdana, Tahoma, Arial, sans-serif; }
-
-span.nm		{ color: #000000; font-weight: bold; }
-
-span.attn	{ color: #000000; font-weight: bold; }
-
-div.head	{ border-bottom: 1px dotted #cccccc; 
-		  padding-bottom: 5px;
-		  text-align: right; }
-
-div.foot	{ border-top: 1px dotted #cccccc; 
-		  padding-top: 5px;
-		  font-size: smaller;
-		  text-align: right; }
-
-a.external 	{ background: transparent url(external.png) center right no-repeat; padding-right: 12px; }