HTMLFontElement.java

// Generated by esidl 0.4.0.

package org.w3c.dom.html;

public interface HTMLFontElement extends HTMLElement
{
    // HTMLFontElement
    public String getColor();
    public void setColor(String color);
    public String getFace();
    public void setFace(String face);
    public String getSize();
    public void setSize(String size);
}