add border-radius and padding-left

diff --git a/www/jf.css b/www/jf.css
index 4c4cfda..9734cee 100644 (file)
--- a/www/jf.css
+++ b/www/jf.css
@@ -23,18 +23,21 @@ div.date {
        text-align: right;
        font-size: smaller;
        font-family: helvetica, sans-serif;
+       border-radius: 2px;
 }
 div.copyright {
        background-color: #f0f0e0;
        text-align: center;
        font-size: smaller;
        font-family: helvetica, sans-serif;
+       border-radius: 2px;
 }
 div.rcsid {
        background-color: #f0f0e0;
        text-align: right;
        font-size: smaller;
        font-family: helvetica, sans-serif;
+       border-radius: 2px;
 }
 
 div.small {
@@ -61,6 +64,8 @@ h1 {
        border-style: inset;
        border-width: 0px 0px 3px 0px;
        border-color: #000;
+       border-radius: 2px;
+       padding-left: 4px;
 }
 span.h2small{
        font-family: helvetica, sans-serif;
@@ -74,6 +79,8 @@ h2 {
        border-style: inset;
        border-width: 0px 2px 2px 0px;
        border-color: #000;
+       border-radius: 2px;
+       padding-left: 8px;
 }
 h3 {
        border-style: inset;
@@ -94,6 +101,7 @@ pre {
        background-color: #fff;
        padding: 0.3em;
        border: 1px inset #885;
+       border-radius: 2px;
        white-space: pre; /* Netscape 4.x needs it */
 }