Convert font height from twips.

Previous font height hack was probably needed because of the improper handling of font resolution in define font.