Re: [patch] anchors on all headers

You wrote:

> Hi Max.
>
> Could you re-patch it to add an id attribute?

Hmm. That's somewhat more of a pain to fix, since none of the headers
in the stylesheet have id ttributes. Oh well, that'll keep my mind off
this week's publications for a little while. (A few minutes later)
Here goes:

I'll let Norm include it in the repository if it appears to work.

MaxF.