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