Have tried '@set dispenvsize small' for @quotation, @example, @display, @format.
However, @verbatim is still using a large font. > Sent: Saturday, October 24, 2020 at 2:58 PM > From: "Gavin Smith" <gavinsmith0...@gmail.com> > To: "Christopher Dimech" <dim...@gmx.com> > Cc: "help-texinfo gnu" <help-texinfo@gnu.org> > Subject: Re: @smallverbatim > > 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. > > > > >