On 1/12/22 02:50, Patrice Dumas wrote:> A heads up that the <div> 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 the javascript, maybe?
I did a little testing, and found no problems.
--
--Per Bothner
p...@bothner.com http://per.bothner.com/
