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