W3C home > Mailing lists > Public > spec-prod@w3.org > October to December 2001

Re: [patch] anchors on all headers

From: Max Froumentin <mf@w3.org>
Date: Tue, 18 Dec 2001 16:05:53 +0100
To: Charles McCathieNevile <charles@w3.org>
Cc: <spec-prod@w3.org>
Message-ID: <87pu5c36we.fsf@sophia.inria.fr>
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.


Received on Tuesday, 18 December 2001 10:07:15 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:42:16 UTC