web: Increase font size.

The default value of font-size is medium, which seems to be more appropriate.

diff --git a/web/gitweb.css b/web/gitweb.css
index 1a9a235034de1bbf6351461dd9d9f2fb9e921baa..4cac0b91985218bfcbff074de8e4b92a6cee2d4b 100644 (file)
--- a/web/gitweb.css
+++ b/web/gitweb.css
@@ -1,6 +1,5 @@
 body {
        font-family: sans-serif;
 body {
        font-family: sans-serif;

-       font-size: small;

        border-width: 1px;
        margin: 0px;
        padding: 10px;
        border-width: 1px;
        margin: 0px;
        padding: 10px;

diff --git a/web/para.css b/web/para.css
index cc071a91757976e079e72657db30effad145cb2a..98c47344eb47b39c3556865876e2b35f4f44ef9d 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -1,6 +1,5 @@
 BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
        font-family: sans-serif;
 BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
        font-family: sans-serif;

-       font-size: small;

 }
 
 CAPTION { font-weight: bold }
 }
 
 CAPTION { font-weight: bold }