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.