Tidy and prettify HTML