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 > https://man.openbsd.org/ > 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. - todd
