Re: [DOCS] Doc fixes and improvements

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. +