The HTML 4 standard defines an attribute of the </pre>