Thom Brown wrote:
> > OK, here is what I see:
> >
> > ? ? ? ?http://momjian.us/tmp/pg_manual.png
> >
> > I have font size of 14, with fixed size of 12 in my Firefox preferences.
> >
> > If I turn off javascript is looks more consistent:
> >
> > ? ? ? ?http://momjian.us/tmp/pg_manual2.png
>
> The font size shown in your 2nd screenshot looks smaller than the
> existing docs. I did a comparison of Magnus' version and the live
> version. The same monospace example in both renders the font as
> precisely a calculated 12.7667px.
>
> In fact it looks more like the proportional font is too small. My
> value for that is still at the default value of 16. Does yours
> differ?
Here is what I think you want to see. This is my screen with
proportional and fixed set to 14, with javascript turned off:
http://momjian.us/tmp/pg_manual3.png
That looks right. This is Ubuntu with Firefox 3.6.9.
And this is the display of my font defaults:
http://momjian.us/tmp/fonts.png
Does that help?
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ It's impossible for everything to be true. +