CotEditor syntax styles for HTML5