para.css: Increase font size.

diff --git a/web/para.css b/web/para.css
index e44452e6dc4cc9a8d1644304adaad7f411a6820e..157cce967833c010c10ed57031b5656bdb650a31 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -1,6 +1,9 @@
 BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
-       font-family: Geneva, Arial, Helvetica, sans-serif;
+       font-family: sans-serif;
+       font-size: small;
 }
+
+/*
 BODY,TD {
        font-size: 90%;
 }
@@ -14,6 +17,7 @@ H2 {
 H3 {
        font-size: 100%;
 }
+*/
 CAPTION { font-weight: bold }
 
 /* doxgen */