]> granicus.if.org Git - postgresql/commit
projects / postgresql / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8548540) | patch
doc: Tweak CSS
authorPeter Eisentraut <peter_e@gmx.net>
Wed, 12 Apr 2017 19:37:03 +0000 (15:37 -0400)
committerPeter Eisentraut <peter_e@gmx.net>
Wed, 12 Apr 2017 19:41:41 +0000 (15:41 -0400)
commitf6f9f8a24cdf1bc8a714c65dc45fd67fef59217a
tree1cf24a13cf250b6a71435e2a464b0919a8ba22fdtree | snapshot
parent854854019a282b6e74f586a3ee8c88c791193d32commit | diff
doc: Tweak CSS

Tweak CSS a bit to match latest similar changes to web site style.  Also
move some CSS out of the HTML to the stylesheet so that the web site
stylesheet can override it.  This should ensure that notes and such are
back to being centered.
doc/src/sgml/stylesheet.css diff | blob | history
doc/src/sgml/stylesheet.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.