From fa3d376d5f5ba955ff76767f6836825c0a9f2141 Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sat, 18 Oct 2003 11:44:22 +0000
Subject: [PATCH] Nicer styles on Mozilla

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

diff --git a/doc/docstyles.css b/doc/docstyles.css
index 3d2947f886..555c634697 100755
--- a/doc/docstyles.css
+++ b/doc/docstyles.css
@@ -86,6 +86,9 @@ h1 {
 	background-color: #CCCCCC;
 	padding: 5px;
 	font-size: large;
+    border-width: 1px;
+    border-color: #CCCCCC;
+    -moz-border-radius: 10px;
 }
 h2 {
 	font-weight: bold;
@@ -93,8 +96,9 @@ h2 {
 	background-color: #666666;
 	padding: 5px;
 	font-size: medium;
-
-
+    border-width: 1px;
+    border-color: #666666;
+    -moz-border-radius: 10px;
 }
 h3 {
 	font-weight: normal;
@@ -102,6 +106,7 @@ h3 {
 	background-color: #666666;
 	padding: 5px;
 	font-size: medium;
+    -moz-border-radius: 10px;
 }
 .spaced {
 
-- 
2.39.5