According to HTML5, this should not be red.

According to HTML5, this should not be red.