Re: @smallverbatim

[Gavin Smith]

On Sat, Oct 24, 2020 at 02:45:38PM +0200, Christopher Dimech wrote:
> Gavin, so what's left is to have @verbatim accept \smallword?

No, you just use @verbatim and it will use a smaller font by default.