body.normaltext {font-size:9pt;}
body.bigtext {font-size:10pt;}