This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
RE: [help-texinfo] Re: small font in gcc online docs
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