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

[tomas@tuxteam.de]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On Mon, Nov 03, 2008 at 01:00:31PM -0000, Jonathan Grant wrote:
> Hello Karl,

[...]

> Perhaps GCC could use @example rather than @smallexample ?

[lurker's opinion here, so take with appropriate amount of salt]

I concur with Karl here. It's the combination of your browser and the
stylesheet who decide how small a @smallexample ends up.

It doesn't make much sense taking visibility at the abstract document
level, since it's a property of the rendering medium and the user.

You can easily set the minimum font size on your firefox, somewhere
under edit->preferences->Content->Fonts->Advanced (or thereabouts --
don't you love GUI apps?).

Regards
- -- tomas
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFJD+kmBcgs9XrR2kYRAngqAJ44Oe3FOU4nzFLFrptR20CwrH5ZWgCffLe1
DZ0MPqK4gSISZ+nJaS2K66U=
=LqDG
-----END PGP SIGNATURE-----