Add html5-syntax definition