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