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

[Jonathan Grant]

Hi Karl,

Thank you for your reply

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

I think you are right, and Firefox3 should be configured with some sensible
font sizes. However I've never been able to successfully get them to change
anything in the past after filing a bug report.. so we may be stuck with
this.

Thank you again for working though this problem with us.
Regards, Jon