HTML 5 code highlighting.