On 2020-08-25 21:48, Bruce Momjian wrote:
On Sat, Jul 4, 2020 at 08:47:53AM +0200, Fabien COELHO wrote:
Hello Peter,
The original stylesheets explicitly go out of their way to do it that
way. We can easily fix that by removing that special case. See attached
patch.
That patch only fixes it for the header. To fix it for the footer as
well, we'd first need to import the navfooter template to be able to
customize it.
Thanks for the patch, which applies cleanly, doc compiles, works for me with
w3m.
Not a big problem though.
Nope, just mildly irritating for quite a long time:-) So I'd go for back
patching if it applies cleanly.
Can we get Peter's patch for this applied soon? Thanks. Should I apply
it?
I have made the analogous changes to the footer as well and committed this.
--
Peter Eisentraut http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services
