Re: @smallbook and friends

[Karl Berry]

    >           OK.  How about this?  @smallbook redefines @foo to use the small
    >   fonts, and @smallfoo to use smaller fonts.  That way, examples should
    >   fit on the page no matter what.

It does have a certain logic. I guess my main concern is that @smallbook
uses 10pt fonts generally (just like 8.5x11).  Is it really desirable to
change *every* @example (not @smallexample) to use 9pt fonts?  Because
that is what the above is saying.

Changing @smallexample to 8pt fonts is not as troublesome to me.