Tweak man.css a bit.