Re: Fix: smallexample selects \smallerfonts

[Karl Berry]

    @smallexample uses the same default font as @example does, although
    the doc says:

It's actually intentional that this happen.  The small fonts only get
used in @smallbook.  In other formats, @smallexample and @example are
equivalent.  It's always been this way.  I guess the idea is that
examples might be too wide for smallbook, but still fit in 8.5x11.

Personally I don't object to making @smallbook always be smaller, for
the sake of wide examples.  Bob, rms, anyone?

Unfortunately, you have to go down to cmtt8 before 80 characters will
fit across.  That is too small in general, even for @smallexample,
because most examples don't need it.  We go to cmtt9, which gets to 72
chars in smallbook.  Maybe we should have @tinyexample too.  Sigh.

    If you put this in, would you accept a patch that adds @smallverbatim
    and @smallverbatiminclude (if that's easily possible)?

Sounds good to me.

Thanks!
karl