From 22fb31a1325891b0b274d4f8dd9d563136d7bdd8 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Sat, 17 Aug 2013 20:45:47 +0200 Subject: [PATCH 1/1] web: Increase font size. The default value of font-size is medium, which seems to be more appropriate. --- web/gitweb.css | 1 - web/para.css | 1 - 2 files changed, 2 deletions(-) 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 } -- 2.39.2