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
