From 665ccc57084126888487f5e77562f85fdb53fdfc Mon Sep 17 00:00:00 2001
From: Kristaps Dzonsons <kristaps@bsd.lv>
Date: Mon, 21 Sep 2009 13:06:13 +0000
Subject: Removed new-born out.{h,c} (not a good idea). Removed if 0 for
 HTML-mode output (why not). Added option -oxxxx for passing options to output
 devices.

---
 index.css | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 index.css

(limited to 'index.css')

diff --git a/index.css b/index.css
new file mode 100644
index 00000000..b58ad883
--- /dev/null
+++ b/index.css
@@ -0,0 +1,44 @@
+body		{ color: #333333;
+		  font-size: smaller;
+		  font-family: Verdana, Tahoma, Arial, sans-serif; }
+
+table.frame	{ max-width: 800px; 
+		  padding-left: 10px; }
+
+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; }
+
+div.clhead	{ background-color: #E6E6FA; color: #000000; padding: 2px; font-weight: bold; }
+
+div.clbody	{ margin-left: 2px; }
+
+ul.clbody	{ margin-top: 4px; }
+
+span.rev	{ color: #808080; }
+
+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; }
-- 
cgit v1.2.3-56-ge451