Variation in document verification between explicitly-coded element property and declarative attribute-style property.