Re: @smallverbatim

[Gavin Smith]

On Sat, Oct 24, 2020 at 02:30:33PM +0200, Christopher Dimech wrote:
> Yes, I confirm they are good and approve them being set
> by dafault.  Do you mean I simply call @quotation
> rather than @smallquotation.  It certainly makes things
> easier.  Almost always I use @smallbook, and even for
> @smallbook, the small versions are also better.  Can
> you see if they can be used by default as well for
> @smallbook.

This would be a good idea if not for the fact that there
are already documents using @smallbook and they may use
an inconsistent mix of @smallexample and @example etc.
One thing you could do is add an extra line to your source
file, like:

@smallbook
@set dispenvsize small

Then you would not have to bother with writing @smallexample, etc.