remove old javadoc to replace with new

[jabaws.git] / website / print.css

diff --git a/website/print.css b/website/print.css
index fbc3556..daec545 100644 (file)
--- a/website/print.css
+++ b/website/print.css
@@ -57,11 +57,12 @@ font-family:"Courier New", Courier, monospace;
        border: 1px dashed black;\r
 }\r
 \r
+\r
 .box { \r
-       font-size-adjust:0.4;\r
+       font-size-adjust:0.5;\r
        color:black;\r
        background-color:#F5F5F5;\r
-       font-family:Verdana, Arial, Helvetica, sans-serif\r
+       font-family:Arial, Helvetica, sans-serif;\r
        font-style:normal;\r
        margin:1em 0;\r
        padding: 0.5em;\r
@@ -173,9 +174,10 @@ color:#993333;
 }\r
 \r
 body {\r
-       margin: 1em;\r
        font-family:Arial, Helvetica, sans-serif;\r
        font-size: 9pt;\r
        background-color: white;\r
        line-height: 2em;\r
 }\r
+\r
+h3 {border-bottom: 1px solid grey; margin-top: 2em; }
\ No newline at end of file