This is an element with an HTML attribute.