Fix conversion from font size in points to pixels.