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    }