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

[Karl Berry]

    In the printed manual, is <pre class="smallexample"></pre> text
    smaller or the same size as <code></code> text?

The result of @smallexample is smaller than the result of @example in
printed manuals.

    Definitely each user can change the default browser settings, but I
    would hope pages would be readable without browser modification.

I agree, but all we can do is make the pages as generic as possible.
We cannot hope to placate all versions of all browsers.  Believe me, if
I changed @smallexample back to not use font-size:smaller, there would
be plenty of complaints as well.

    See what it looks like at present for me with default Firefox3:
    http://img219.imageshack.us/my.php?image=firefox3inlineub4.png

I certainly agree that is ridiculously bad.  It seems like a bug in
firefox3 (not that I have much hope of anything changing).  I note that
the <code>...</code> text is smaller than the surrounding text too, so
the defaults are apparently set so things are inconsistent to start with.

    Let's see if the manual really does look different. Perhaps GCC
    could just use the <code></code> as that works fine?

If @example were used, I believe some examples would overflow the
printed pages.

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.

karl