diff options
Diffstat (limited to 'external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java')
-rwxr-xr-x | external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java b/external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java new file mode 100755 index 000000000..052020baf --- /dev/null +++ b/external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java @@ -0,0 +1,43 @@ +/* + * Copyright (c) 2000 World Wide Web Consortium, + * (Massachusetts Institute of Technology, Institut National de + * Recherche en Informatique et en Automatique, Keio University). All + * Rights Reserved. This program is distributed under the W3C's Software + * Intellectual Property License. This program is distributed in the + * hope that it will be useful, but WITHOUT ANY WARRANTY; without even + * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR + * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more + * details. + */ + +package org.w3c.dom.html; + +/** + * Local change to font. See the FONT element definition in HTML 4.0. This + * element is deprecated in HTML 4.0. + * <p>See also the <a href='http://www.w3.org/TR/2000/CR-DOM-Level-2-20000510'>Document Object Model (DOM) Level 2 Specification</a>. + */ +public interface HTMLFontElement extends HTMLElement { + /** + * 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. + */ + 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. + */ + public String getSize(); + public void setSize(String size); + +} + |