From d5c675dcea58020200bc36cc8895c3b26d216731 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Mon, 29 Oct 2007 14:42:29 +0100 Subject: [PATCH] para.css: Increase font size. --- web/para.css | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/web/para.css b/web/para.css index e44452e6..157cce96 100644 --- 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 */ -- 2.39.2