Hm... Maybe someone along the way thought that points == pixels and your screen isn't set to use 72 dpi?

The only problem is the font size, right? Try changing the font size specified in theme.rc