package def.dom;
public class HTMLPreElement extends HTMLElement {
    /**
      * Indicates a citation by rendering text in italic type.
      */
    public java.lang.String cite;
    public java.lang.String clear;
    /**
      * Sets or gets a value that you can use to implement your own width functionality for the object.
      */
    public double width;
    public static HTMLPreElement prototype;
    public HTMLPreElement(){}
}

