Re: navigation menu for documents

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.