[texhax] slight font size change

[Martin Schröder]

2010/2/19 Axel E. Retif <axel.retif at mac.com>:
> \renewcommand{\normalsize}{\fontsize{12.045pt}{14pt}\selectfont}

TeX knows PostScript points as bp, so

\renewcommand{\normalsize}{\fontsize{12bp}{14bp}\selectfont}

Best
   Martin