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/