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(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ It's impossible for everything to be true. +