On Fri, 18 May 2018 02:47:29 +0200, Ingo Schwarze wrote:
> I must say i never particularly liked that line in the CSS file.
> It always felt like fiddling with details that it might be better
> not to touch, given that display devices running browsers differ
> more than terminal emulators. And here we are with a suspicion
> that it actually causes accessibility issues, even if the suspicion
> is still unconfirmed...
> Depending on the feedback i get here with respect to how
> now looks, i shall consider deleting the offending line for good.
> In general, i like the idea of making things better by *removing*
> harmful tweaks rather than adding new goo...
For what it's worth I removed that line from mandoc.css when I
switched the sudo online manuals to mandoc.
My vote is to remove it here too.