New html5 syntax and indentation plugins.