Comment 23 for bug 345189

I agree with pablomme - this is what I was implying with my question.

Nothing against increasing default font sizes, at all in fact, just curious as to the rationale.

But, in any case, I think pablomme is right, doesn't seem like a good idea to define the values in pixels - needs a measure that will scale reasonably according to the dpi.