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.