From: Bruce Momjian <bruce@momjian.us>
Message-Id: <201009102003.o8AK3Pl08121@momjian.us>
Subject: Re: [DOCS] Doc fixes and improvements
In-Reply-To: <AANLkTik0i54fg1PY984+iqvc0YfWWyyMQY18QTf8S0eo@mail.gmail.com>
To: Thom Brown <thom@linux.com>
Date: Fri, 10 Sep 2010 16:03:25 -0400 (EDT)
CC: Magnus Hagander <magnus@hagander.net>, Tom Lane <tgl@sss.pgh.pa.us>,
	PostgreSQL www <pgsql-www@postgresql.org>
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Type: text/plain; charset="US-ASCII"

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