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