From: Andre Noll Date: Sat, 17 Aug 2013 18:45:47 +0000 (+0200) Subject: web: Increase font size. X-Git-Tag: v0.5.0~1^2~22 X-Git-Url: http://git.tue.mpg.de/?a=commitdiff_plain;h=22fb31a1325891b0b274d4f8dd9d563136d7bdd8;p=paraslash.git 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 1a9a2350..4cac0b91 100644 --- a/web/gitweb.css +++ b/web/gitweb.css @@ -1,6 +1,5 @@ body { font-family: sans-serif; - font-size: small; border-width: 1px; margin: 0px; padding: 10px; diff --git a/web/para.css b/web/para.css index cc071a91..98c47344 100644 --- 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; - font-size: small; } CAPTION { font-weight: bold }