On Sun, Sep 6, 2020 at 04:59:11PM +0200, Peter Eisentraut wrote: > 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.
I see this only applied to master. Shouldn't this be backpatched? -- Bruce Momjian <br...@momjian.us> https://momjian.us EnterpriseDB https://enterprisedb.com The usefulness of a cup is in its emptiness, Bruce Lee
