Nicer styles in Mozilla

diff --git a/lang/en/docs/docstyles.css b/lang/en/docs/docstyles.css
index 3d2947f886ac8ddadb0093dcb8f37ac6f549c248..555c6346970ec96c647f2df9b3a99f2eaf1e3e01 100755 (executable)
--- 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 {