Re: font size

Peter Eisentraut <peter_e@gmx.net> writes:
> Gavin Sherry wrote:
>> I think we leave the font as it is. I run at a high screen
>> resolution. The font *would* be a problem if we didn't have the text
>> size toggle on top of all pages.

> The toggle is not on top of all pages, for example the documentation
> pages.  And more importantly, it doesn't work for everyone.

The really fundamental question is: what the heck are we doing
overriding the viewer's preference for font size in the first place?
I don't claim to be a web site designer, but this sure goes against
what I understand to be good practice.

            regards, tom lane