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 <bruce@momjian.us> https://momjian.us
EnterpriseDB https://enterprisedb.com
The usefulness of a cup is in its emptiness, Bruce Lee
