ladybird/Userland/Libraries/LibWeb/HTML/HTMLPreElement.idl

#import <HTML/HTMLElement.idl>

// https://html.spec.whatwg.org/multipage/grouping-content.html#htmlpreelement
[Exposed=Window]
interface HTMLPreElement : HTMLElement {

    [HTMLConstructor] constructor();

    // Obsolete
    [CEReactions] attribute long width;

};