]> granicus.if.org Git - postgresql/commit
Add tooltips to the header links, and make title a link to the home page
authorPeter Eisentraut <peter_e@gmx.net>
Tue, 29 Sep 2009 20:25:01 +0000 (20:25 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Tue, 29 Sep 2009 20:25:01 +0000 (20:25 +0000)
commit1d43e5314e30bbd10f51e4c740ab4814775375b0
tree402180e649920f180db6231683f2fce066bfd35a
parent960d7ff02266b3e11684470d140ed26957aece5f
Add tooltips to the header links, and make title a link to the home page

based on an idea by Richard Huxton
doc/src/sgml/stylesheet.dsl