-----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-----
