===================================================================
RCS file: /cvs/mandoc/Attic/index.css,v
retrieving revision 1.3
retrieving revision 1.9
diff -u -p -r1.3 -r1.9
--- mandoc/Attic/index.css	2010/03/22 18:30:23	1.3
+++ mandoc/Attic/index.css	2011/04/09 16:43:30	1.9
@@ -1,44 +1,41 @@
+html		{ min-width: 40em;
+		  max-width: 60em;
+		  width: 60%;
+		  margin-left: 4em; }
+
 body		{ color: #333333;
-		  font-size: smaller;
-		  font-family: Verdana, Tahoma, Arial, sans-serif; }
+		  text-align: justify;
+		  font-size: 0.93em;
+		  font-family: Times, serif; }
 
-table.frame	{ max-width: 800px; 
-		  padding-left: 10px; }
+h1, h2		{ font-size: inherit; }
 
-table		{ padding-left: 40px; }
+h1		{ margin-left: -3.0em; }
 
-p		{ padding-left: 40px;
-		  text-align: justify; }
+h2		{ margin-left: -1.5em; }
 
-h1		{ font-weight: bold;
-		  font-size: small;
-		  font-family: Verdana, Tahoma, Arial, sans-serif; }
+p.head, p.foot	{ margin-left: -3.0em;
+		  text-align: right; }
 
-h2		{ font-weight: bold;
-		  font-size: small;
-		  padding-left: 20px;
-		  margin-bottom: 0px; 
-		  font-family: Verdana, Tahoma, Arial, sans-serif; }
+p.head		{ border-bottom: 1px solid #dddddd; 
+		  padding-bottom: 0.2em; }
 
-span.rev	{ font-weight: bold; }
+p.foot		{ border-top: 1px solid #dddddd; 
+		  padding-top: 0.2em;
+		  font-size: smaller; }
 
-span.nm		{ color: #000000; font-weight: bold; }
+p.news		{ color: #000000; 
+		  margin-left: -0.5em; }
 
+span.nm		{ font-weight: bold; }
+
+span.file	{ font-style: italic; }
+
 span.attn	{ color: #000000; font-weight: bold; }
 
 span.flag	{ font-weight: bold; }
 
-div.head	{ border-bottom: 1px dotted #cccccc; 
-		  padding-bottom: 5px;
-		  text-align: right; }
+a		{ text-decoration: none; }
 
-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; }
-
-span.date	{ color: #808080; }
-
-col.date	{ width: 8em; }
+a.external 	{ background: transparent url(external.png) center right no-repeat; 
+		  padding-right: 12px; }