Re: [help-texinfo] Re: small font in gcc online docs

[Manuel López-Ibáñez]

2008/11/5 Jonathan Grant <address@hidden>:
> Hi Karl,
>
> Thank you for your reply
>
> [..]
>> If some examples use @example and some examples use @smallexample, the
>> resulting inconsistency looks quite bad as well (in both printed manuals
>> and HTML).
>>
>> I doubt the GCC folks want to research and rewrite their examples to use
>> shorter lines (so @example could be used).
>>
>> Sorry, I am still stuck for any positive action.
>
> I think you are right, and Firefox3 should be configured with some sensible
> font sizes. However I've never been able to successfully get them to change
> anything in the past after filing a bug report.. so we may be stuck with
> this.

You are expecting that the CSS large/small/x-small/etc match those of
TeX. They are not matched. I don't know what formula TeX uses but
Firefox uses a lookup table that is available here:

http://mxr.mozilla.org/mozilla/source/layout/style/nsStyleUtil.cpp#165

As you can see, for a medium font of 12 or 13 (which is the default
size in Firefox), the small font is 10. There is a bug opened about
this, but it doesn't seem to have attracted much interest. Perhaps you
could explain the issue there and give them some motivation to fix
this once and for all:

https://bugzilla.mozilla.org/show_bug.cgi?id=187256

Cheers,

Manuel.