Received: from localhost (unknown [200.46.208.211]) by mail.postgresql.org (Postfix) with ESMTP id 97CEC63243D for ; Tue, 29 Sep 2009 17:26:24 -0300 (ADT) Received: from mail.postgresql.org ([200.46.204.86]) by localhost (mx1.hub.org [200.46.208.211]) (amavisd-maia, port 10024) with ESMTP id 45081-01 for ; Tue, 29 Sep 2009 20:26:09 +0000 (UTC) X-Greylist: domain auto-whitelisted by SQLgrey-1.7.6 Received: from mail.gmx.net (mail.gmx.net [213.165.64.20]) by mail.postgresql.org (Postfix) with SMTP id 4CE55632290 for ; Tue, 29 Sep 2009 17:26:13 -0300 (ADT) Received: (qmail invoked by alias); 29 Sep 2009 20:26:10 -0000 Received: from a91-154-107-53.elisa-laajakaista.fi (EHLO [10.0.0.101]) [91.154.107.53] by mail.gmx.net (mp039) with SMTP; 29 Sep 2009 22:26:10 +0200 X-Authenticated: #495269 X-Provags-ID: V01U2FsdGVkX1+pr41eKXaps8wl5SALabMwa64KKqMAa4BmqiI1F2 Vnx3qG2chzR1AR Subject: Re: navigation menu for documents From: Peter Eisentraut To: Richard Huxton Cc: pgsql-hackers@postgresql.org, Andrew Dunstan , Dimitri Fontaine In-Reply-To: <4A607573.60904@archonet.com> References: <4A5CE7EB.20809@pgexperts.com> <4A5D10AD.6060305@dunslane.net> <4A5D1464.4040202@archonet.com> <200907151333.02260.peter_e@gmx.net> <4A607573.60904@archonet.com> Content-Type: text/plain Date: Tue, 29 Sep 2009 23:26:02 +0300 Message-Id: <1254255963.9276.4.camel@vanquo.pezone.net> Mime-Version: 1.0 X-Mailer: Evolution 2.26.3 Content-Transfer-Encoding: 7bit X-Y-GMX-Trusted: 0 X-FuHaFi: 0.71 X-Virus-Scanned: Maia Mailguard 1.0.1 X-Spam-Status: No, hits=-2.544 tagged_above=-10 required=5 tests=AWL=0.055, BAYES_00=-2.599 X-Spam-Level: X-Archive-Number: 200909/1904 X-Sequence-Number: 146710 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.