From a91a0f808ddeba1521096b756d367e418ce40440 Mon Sep 17 00:00:00 2001
From: Diego Nehab <diego@tecgraf.puc-rio.br>
Date: Tue, 20 Jan 2004 20:24:51 +0000
Subject: Adjusted css for windows.

---
 doc/index.html    |  2 +-
 doc/reference.css | 34 ++++++++++++++++++----------------
 2 files changed, 19 insertions(+), 17 deletions(-)

diff --git a/doc/index.html b/doc/index.html
index 46642d2..620f385 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -66,7 +66,7 @@ Author: <A href="http://www.cs.princeton.edu/~diego">Diego Nehab</a>
 
 <!-- download +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ -->
 
-<h2 id=down>Download</h2>
+<h2 id=download>Download</h2>
 
 <p>
 LuaSocket version  2.0 alpha is now  available for download! It  is
diff --git a/doc/reference.css b/doc/reference.css
index cd7de2c..2a8987e 100644
--- a/doc/reference.css
+++ b/doc/reference.css
@@ -1,33 +1,28 @@
-body { 
-	margin-left: 1em; 
-	margin-right: 1em; 
-}
-
-body > * { margin-left: 1em; }
-
-div.header, div.footer { margin-left: 0em; }
-hr, h1, h2, h3, h4 { margin-left: 0em; }
-p.name { margin-left: 0em; }
+body { margin-left: 1em; margin-right: 1em; }
 
-h2:first-letter, h2:first-letter, h3:first-letter { color: #00007f; }
+h1, h2, h3, h4 { margin-left: 0em; }
 
-blockquote { margin-left: 3em; }
-
-a[href] { color: #00007f; }
+p { margin-left: 1em; }
 
 p.name { 
     font-family: monospace; 
     padding-top: 1em;
+    margin-left: 0em; 
 }
 
+a[href] { color: #00007f; }
+
+blockquote { margin-left: 3em; }
+
 pre.example {
     background: #ccc;
-    font-size: small;
     padding: 1em;
+    margin-left: 1em;
 }
 
 hr { 
-	background: #00007f;
+    margin-left: 0em;
+	background: #00007f; 
 	border: 0px;
 	height: 1px;
 }
@@ -37,3 +32,10 @@ ul { list-style-type: disc; }
 table.index { border: 1px #00007f; }
 table.index td { text-align: left; vertical-align: top; }
 table.index ul { padding-top: 0em; margin-top: 0em; }
+
+h1:first-letter, 
+h2:first-letter, 
+h2:first-letter, 
+h3:first-letter { color: #00007f; }
+
+div.header, div.footer { margin-left: 0em; }
-- 
cgit v1.2.3-55-g6feb