Re: [DOCS] Doc fixes and improvements - Mailing list pgsql-www

From Thom Brown
Subject Re: [DOCS] Doc fixes and improvements
Date
Msg-id AANLkTinFbi=BObk+6zsvG3iYLK-_L62yV4XowUqPF2uo@mail.gmail.com
Whole thread Raw
In response to Re: [DOCS] Doc fixes and improvements  (Bruce Momjian <bruce@momjian.us>)
Responses Re: [DOCS] Doc fixes and improvements
List pgsql-www
On 10 September 2010 21:42, Bruce Momjian <bruce@momjian.us> wrote:
> Thom Brown wrote:
>> 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.html
>> http://answers.yahoo.com/question/index?qid=20080211131203AA6CErK
>
> OK, so why are we not just setting the fixed-width font to be the same
> size as the proportional?  We are mixing the two types in the same
> paragraph, so why not just set them the same?  Using the javascript I
> sent, you can probe for the preference settings.

That javascript checked whether the values were the same, and if they
weren't, it introduced a stylesheet which made an adjustment, which is
pretty much what the current site does, except we don't bother
checking the rendering engine, just the default font settings.

It seems that I'm a lot further off than I thought I was. :/  Back to
the drawing board.

--
Thom Brown
Twitter: @darkixion
IRC (freenode): dark_ixion
Registered Linux user: #516935


pgsql-www by date:

Previous
From: Tom Lane
Date:
Subject: Re: [DOCS] Doc fixes and improvements
Next
From: Bruce Momjian
Date:
Subject: Re: [DOCS] Doc fixes and improvements