On 1/12/22 02:50, Patrice Dumas wrote:> A heads up that the showing the
section extent, which can appear at
the @node location now has a class name like "section-level-extent"
instead of of a class name like "section". The "section" class name
is only be associated to the section heading eleme
> On Jan 12, 2022, at 22:50, Patrice Dumas wrote:
>
> Hello,
>
> Currently in HTML the information that an @command is a @small variant
> is completly lost. Shouldn't the small variant be added in the classes
> together with the normal variant?
Please do so.
--
Jean-Christophe Helary @bra
Hello,
Currently in HTML the information that an @command is a @small variant
is completly lost. Shouldn't the small variant be added in the classes
together with the normal variant?
--
Pat
Hello,
A heads up that the showing the section extent, which can appear at
the @node location now has a class name like "section-level-extent"
instead of of a class name like "section". The "section" class name
is only be associated to the section heading element.
It may require some change in
