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

[Jonathan Grant]

Hi Manuel, Karl,

Thank you for your replies.

[...]
> 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

Ok, I've added a comment to the bug. It's already been open for six years,
so I hope for a Firefox fix in due course..

I had to post the mail-archive link to the thread, as the gcc.gnu.org one
doesn’t have any way to see the conversation tree, or even "[Next reply]"
links atm, not sure if the InResponseToID changed or something.
http://gcc.gnu.org/ml/gcc/2008-10/msg00391.html

Kind regards, Jon