Re: @smallverbatim

[Gavin Smith]

On Sat, Oct 24, 2020 at 01:33:36PM +0200, Christopher Dimech wrote:
> Was not a request for consistency. I find the @small versions more useful
> because the customary one makes the text too big.  For instance, a quotation
> is much better when using @smallquotation.
> 
> I needed to use verbatim as it does not expand commands, but needed the
> small version.

The latest version works quite well with @bsixpaper, IMHO, because
small fonts are on by default for @verbatim, @example, etc. and
the margin is reduced, so most existing uses of it are OK without
overlong lines.

https://ftp.gnu.org/gnu/texinfo/texinfo.tex