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.
--
Fabien.