Pre-html prettify is done