>> 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...
>
> I don't have an answer to this.
Ouch :-)
> It seems to me that the problem of too long lines is dealt with by
> making the lines shorter, rather than making the font smaller. Is
> there no way to split lines in your examples?
Well, this is what I normally do, but sometimes long lines are really
unavoidable.
> One idea is to change Texinfo to allow @example to have an argument
> which would be output as a 'class' in HTML. [...]
Basically, your suggestions are sound – they kind-of resemble the
markdown extensions introduced by pandoc...
I could imagine the following, which is quite simple:
@example → <pre class="example">
@smallexample → <pre class="smallexample">
etc., etc., with a corresponding setup in texi2any's default CSS code.
Werner
