Excerpts from Thom Brown's message of lun oct 04 14:40:23 -0400 2010:
> Hi all,
>
> We're currently testing a new javascript change on the PostgreSQL
> docs. This is to make sure monospaced fonts still appear at a
> reasonable size between browsers. I'd appreciate it if some of you
> could do some browser testing. http://magnus.webdev.postgresql.org/
> Only docs for 8.3 and below are available. Please also check the main
> site for font issues, and post any issues you find here.
Looks great on Epiphany-webkit (Gnome browser).
I also checked the other page you linked to downthread, which rounds up
the font size; it does indeed look slightly larger; TBH the difference
is slight and I don't have much of a preference (though I don't care
much for the problem that this is supposed to fix, either). I'd say
+1.5 to the rounded-up version, +1 for the original change.
--
Álvaro Herrera <alvherre@commandprompt.com>
The PostgreSQL Company - Command Prompt, Inc.
PostgreSQL Replication, Consulting, Custom Development, 24x7 support