[Dillo-dev] default font_factor

Johannes wrote:

recently the the default font_factor was changed from 1.0 to 1.2. Is there a reason for this change?

I think 1.2 was the uncommented value in the old dillorc2. It would have made more sense for me to leave it as 1.0 and change the elevens and twelves that it gets multiplied by...