001 /*
002 * Copyright (c) 2003 World Wide Web Consortium,
003 * (Massachusetts Institute of Technology, Institut National de
004 * Recherche en Informatique et en Automatique, Keio University). All
005 * Rights Reserved. This program is distributed under the W3C's Software
006 * Intellectual Property License. This program is distributed in the
007 * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
008 * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
009 * PURPOSE.
010 * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
011 */
012
013 package org.w3c.dom.html2;
014
015 /**
016 * Local change to font. See the FONT element definition in HTML 4.01. This
017 * element is deprecated in HTML 4.01.
018 * <p>See also the <a href='http://www.w3.org/TR/2003/REC-DOM-Level-2-HTML-20030109'>Document Object Model (DOM) Level 2 HTML Specification</a>.
019 */
020 public interface HTMLFontElement extends HTMLElement {
021 /**
022 * Font color. See the color attribute definition in HTML 4.01. This
023 * attribute is deprecated in HTML 4.01.
024 */
025 public String getColor();
026 /**
027 * Font color. See the color attribute definition in HTML 4.01. This
028 * attribute is deprecated in HTML 4.01.
029 */
030 public void setColor(String color);
031
032 /**
033 * Font face identifier. See the face attribute definition in HTML 4.01.
034 * This attribute is deprecated in HTML 4.01.
035 */
036 public String getFace();
037 /**
038 * Font face identifier. See the face attribute definition in HTML 4.01.
039 * This attribute is deprecated in HTML 4.01.
040 */
041 public void setFace(String face);
042
043 /**
044 * Font size. See the size attribute definition in HTML 4.01. This
045 * attribute is deprecated in HTML 4.01.
046 */
047 public String getSize();
048 /**
049 * Font size. See the size attribute definition in HTML 4.01. This
050 * attribute is deprecated in HTML 4.01.
051 */
052 public void setSize(String size);
053
054 }