When switching the documentation build to XSLT [0], some CSS selectors
need to be changed. Here is a patch that can be applied ahead of time
that should address all those cases (not tested), keeping the old
selectors around so that both old and new documentation builds still
work. I've also thrown in a patch to clean up some whitespace
randomness in the CSS files.
[0]:
https://www.postgresql.org/message-id/2cdfe551-eb7b-b319-c96d-0d53cc0c2db8%402ndquadrant.com
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services