> @smallexample and friends. Simpler to use @example instead. If > people desperately want to use smaller fonts in the printed output > they could use > > @set dispenvsize small > > instead, which is only used by texinfo.tex and doesn't affect > anything else.
So what is the right way to make an environment display at a smaller
size in HTML output? Sometimes examples have really long lines,
making horizontal screen scrolling uncomfortable...
Werner
