Re: font size

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.

--
Peter Eisentraut
http://developer.postgresql.org/~petere/