Better formatting for the html manpage.

This also embeds the css into the html instead of using a separate file.