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. -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers