Re: id attributes for header elements

[Per Bothner]

On 12/26/21 12:04, Patrice Dumas wrote:
> On Sun, Dec 26, 2021 at 11:24:59AM -0800, Per Bothner wrote:
> > I believe putting the link on the sectioning command is slightly better (more
> > semantically meaningful and easier to work with) than putting it before
> > - and it is never worse.
>
> I agree, and when there is no header in the sense of the header with
> directions, I have made a change to have the id on the sectionning h*
> element based on your report.

Much better.  Thanks!

I'll try implementing a info.js option to add the subheading elements in the 
sidebar
(though not today).  I think that should make things a little nicer.
--
        --Per Bothner
per@bothner.com   http://per.bothner.com/