Tweak man.css even more...