change in the sectioning commands div extent classes

[Patrice Dumas]

Hello,

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?

-- 
Pat