Mostly prettification of HTML