From 098b471c88449dbea1eeea01afd3eee58dcfaa68 Mon Sep 17 00:00:00 2001
From: Mike Bayer <mike_mp@zzzcomputing.com>
Date: Tue, 31 Jul 2007 16:56:26 +0000
Subject: tweaks

---
 doc/docs.css | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'doc/docs.css')

diff --git a/doc/docs.css b/doc/docs.css
index e78533cb8..9075e0067 100644
--- a/doc/docs.css
+++ b/doc/docs.css
@@ -10,6 +10,11 @@
 	margin:10px 0px 10px 0px;
 }
 
+pre {
+    margin:0px;
+    padding:0px;
+}
+
 .prevnext {
 	padding: 5px 0px 0px 0px;
 }
@@ -141,7 +146,7 @@ h3 {
 	font-size:12px;
 	background-color: #f0f0f0;	
 	border: solid 1px #ccc;
-	padding:2px 2px 2px 10px;
+	padding:10px;
 	margin: 5px 5px 5px 5px;
 	overflow:auto;
 }
@@ -151,7 +156,7 @@ h3 {
 	font-size:12px;
 	background-color: #f0f0f0;	
 	border: solid 1px #ccc;
-	padding:2px 2px 2px 10px;
+	padding:10px; /*2px 2px 2px 10px;*/
 	margin: 5px 5px 5px 5px;
 	line-height:1.2em;
 }
-- 
cgit v1.2.1