On Sat, Oct 24, 2020 at 03:16:44PM +0200, Christopher Dimech wrote: > Have tried '@set dispenvsize small' for @quotation, @example, @display, > @format. > > However, @verbatim is still using a large font. >
Did you update to the most recent texinfo.tex? Looks ok to me. \input texinfo normal @set dispenvsize small @verbatim aaaaa aaaaaaaaaaaaa bbbbbb ddddd ffff fffffffff ffffff llm dsalk alke @end verbatim normal @example aaaaa aaaaaaaaaaaaa bbbbbb ddddd ffff fffffffff ffffff llm dsalk alke @end example @bye
