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.
