On 10 September 2010 21:03, Bruce Momjian <bruce@momjian.us> wrote:
> 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?
Yes, according to these, the proportional font defaults to 16px:
http://nst.sourceforge.net/nst/docs/tech/ch02s04.htmlhttp://answers.yahoo.com/question/index?qid=20080211131203AA6CErK
--
Thom Brown
Twitter: @darkixion
IRC (freenode): dark_ixion
Registered Linux user: #516935
