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

[Karl Berry]

    >> I noticed that in the default Firefox3 configuration on my 1280x1024 
display
    >> your code samples on this page are tiny, and v.hard to read:
    >>
    >> http://gcc.gnu.org/onlinedocs/gcc/Inline.html

I'd like to hear from other people about whether the examples are too
small in their browsers.  They are ok for me (seamonkey, firefox,
icecat).  Distros like to tinker so much with browser defaults ...

    >> I see in the HTML this is the code causing the small font:
    >> 
    >> pre.smallexample { font-size:smaller }

I don't know of any way to say "use a slightly smaller font" in
HTML/CSS.  That is, this is what CSS provides, afaik.

The reason that the above css exists at all is because users requested
that @smallexample (the Texinfo command in question) produce smaller
output than the regular @example, including in HTML.  (Like
@smalldisplay, @smallformat, @smallisp, and now @smallquotation.)
Personally I don't have strong feelings about it.  

    > (I just realized that gcc.gnu.org still uses texinfo 4.8, so if later
    > versions have this changed, I could ask the admins to upgrade.)

Nothing has changed in this regard.

Best,
karl