Tidied HTML5 tags.