a bit of html prettifying
cleaned out old docs