Update the documentation CSS stylesheet to current web site style
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 26 Aug 2009 13:56:24 +0000 (13:56 +0000)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 26 Aug 2009 13:56:24 +0000 (13:56 +0000)
commit3676c4f6ab08b05467b8b93c2944be2d2e00c225
tree258a527e17156c1b4b29472915eec35f382153a2
parentd6d2c08732b8f7346bd0a51a336647473529a877
Update the documentation CSS stylesheet to current web site style
doc/src/sgml/stylesheet.css