Add tooltips to the header links, and make title a link to the home page
Peter Eisentraut <peter_e@gmx.net>
Add tooltips to the header links, and make title a link to the home page based on an idea by Richard Huxton
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/sgml/stylesheet.dsl | modified | +107 −1 |