Re: Deprecate Texinfo commands

[Werner LEMBERG]

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