@interface DOMHTMLPreElement : DOMHTMLElement

@property int width;
@property BOOL wrap;

@end