Re: Deprecate Texinfo commands

[Gavin Smith]

On Sun, Nov 08, 2020 at 10:39:02AM +0100, Werner LEMBERG wrote:
> > 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...

Implemented in commit 758870e30b.  You can give more than one argument
to @example separated by spaces, and they will be appended to the
class attribute on the <div>.

Now @lisp is equivalent to "@example lisp".

Documentation is still to be done.

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

The problem is that all of the default CSS rules are always output, and
this leads to a CSS block that is quite long, which gets in the way when
you are looking at the HTML file, for the sake of something that is
fairly rare.