Tweak man.css a bit more.