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

[Karl Berry]

    You are expecting that the CSS large/small/x-small/etc match those of
    TeX. 

No, that is not the expectation.  (It would be impossible, anyway.  All
these things are dynamically changeable in TeX.)

The expectation is that firefox not reduce the size used when
font-size:smaller is specified to something so small as to be nearly
unreadable.  Which is what is happening now.

    As you can see, for a medium font of 12 or 13 (which is the default
    size in Firefox), the small font is 10. 

Wow.  That is quite the reduction, especially at screen resolutions.

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

Thanks.  I hope Jonathan will follow up to that bug with his screenshot,
etc., and that there is some hope of an eventual fix.

Best,
Karl