Peter Eisentraut wrote:
> On Fri, 2009-07-17 at 13:58 +0100, Richard Huxton wrote:
>> 2. Titles on navigation links.
>> Run ./STYLING/title_links.pl and it should add title attributes to the
>> navigation links. This means hovering over the top links gives the title
>> of the page they will go to. Presumably we could do this directly from
>> the sgml source, and I think it's probably worthwhile.
>
> I have updated the stylesheet to add a title attribute to the header
> links. That has about the same effect as your script.
Ah, good. My script was only ever intended to demonstrate. That's one
item we can tick off.
-- Richard Huxton Archonet Ltd
