KickJava   Java API By Example, From Geeks To Geeks.

Java > Open Source Codes > org > w3c > dom > html > HTMLFontElement


1 /*
2  * Copyright (c) 2000 World Wide Web Consortium,
3  * (Massachusetts Institute of Technology, Institut National de
4  * Recherche en Informatique et en Automatique, Keio University). All
5  * Rights Reserved. This program is distributed under the W3C's Software
6  * Intellectual Property License. This program is distributed in the
7  * hope that it will be useful, but WITHOUT ANY WARRANTY; without even
8  * the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR
9  * PURPOSE. See W3C License http://www.w3.org/Consortium/Legal/ for more
10  * details.
11  */

12
13 package org.w3c.dom.html;
14
15 /**
16  * Local change to font. See the FONT element definition in HTML 4.0. This
17  * element is deprecated in HTML 4.0.
18  * <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>.
19  */

20 public interface HTMLFontElement extends HTMLElement {
21     /**
22      * Font color. See the color attribute definition in HTML 4.0. This
23      * attribute is deprecated in HTML 4.0.
24      */

25     public String JavaDoc getColor();
26     public void setColor(String JavaDoc color);
27
28     /**
29      * Font face identifier. See the face attribute definition in HTML 4.0.
30      * This attribute is deprecated in HTML 4.0.
31      */

32     public String JavaDoc getFace();
33     public void setFace(String JavaDoc face);
34
35     /**
36      * Font size. See the size attribute definition in HTML 4.0. This
37      * attribute is deprecated in HTML 4.0.
38      */

39     public String JavaDoc getSize();
40     public void setSize(String JavaDoc size);
41
42 }
43
44
Popular Tags