Re: Deprecate Texinfo commands

[Werner LEMBERG]

> @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