sorry wrong font size

themes/jeroen/theme.class

@@ -25,7 +25,7 @@
       </HEAD>
       <STYLE type="text/css"> 
        <!--
-        BODY,P,DIV,LI,UL,TD,EM,FONT,BLOCKQUOTE,FORM{ font-size: 9pt; font-family:Helvetica,Lucida,sans-serif;}
+        BODY,P,DIV,LI,UL,TD,EM,FONT,BLOCKQUOTE,FORM{ font-size: 10pt; font-family:Helvetica,Lucida,sans-serif;}
         .NO-IN{margin-left:-25;}}
        -->
       </STYLE>