From 2d7efab28656b8db31c171d246527d70d609f79c Mon Sep 17 00:00:00 2001
From: moodler <moodler>
Date: Sat, 18 Oct 2003 11:44:52 +0000
Subject: [PATCH] Nicer styles in Mozilla
---
lang/en/docs/docstyles.css | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/lang/en/docs/docstyles.css b/lang/en/docs/docstyles.css
index 3d2947f886..555c634697 100755
--- a/lang/en/docs/docstyles.css
+++ b/lang/en/docs/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