/*
* Copyright (c) 1998 World Wide Web Consortium, (Massachusetts Institute of
* Technology, Institut National de Recherche en Informatique et en
* Automatique, Keio University).
* All Rights Reserved. http://www.w3.org/Consortium/Legal/
*/
package org.w3c.dom.html;
import org.w3c.dom.*;
Local change to font. See the FONT element definition in HTML 4.0. This
element is deprecated in HTML 4.0.
/**
* Local change to font. See the FONT element definition in HTML 4.0. This
* element is deprecated in HTML 4.0.
*/
public interface HTMLFontElement extends HTMLElement {
Font color. See the color attribute definition in HTML 4.0. This
attribute is deprecated in HTML 4.0.
/**
* Font color. See the color attribute definition in HTML 4.0. This
* attribute is deprecated in HTML 4.0.
*/
public String getColor();
public void setColor(String color);
Font face identifier. See the face attribute definition in HTML 4.0. This
attribute is deprecated in HTML 4.0.
/**
* Font face identifier. See the face attribute definition in HTML 4.0. This
* attribute is deprecated in HTML 4.0.
*/
public String getFace();
public void setFace(String face);
Font size. See the size attribute definition in HTML 4.0. This attribute
is deprecated in HTML 4.0.
/**
* Font size. See the size attribute definition in HTML 4.0. This attribute
* is deprecated in HTML 4.0.
*/
public String getSize();
public void setSize(String size);
}