Export with Org 8 and tidy the HTML