add better print styling for HTML man pages