<xsd:attribute name="width" type="xsd:positiveInteger" use="optional"> <xsd:annotation> <xsd:documentation>Gets or sets the border width.</xsd:documentation> </xsd:annotation> </xsd:attribute>