Dead
[official-gcc.git] / gomp-20050608-branch / libjava / classpath / external / w3c_dom / org / w3c / dom / html2 / HTMLBaseFontElement.java
blob5a3c5c93cee3f7907bbdcbff4b93610bab228dfd
1 /*
2 * Copyright (c) 2003 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.
10 * See W3C License http://www.w3.org/Consortium/Legal/ for more details.
13 package org.w3c.dom.html2;
15 /**
16 * Base font. See the BASEFONT element definition in HTML 4.01. This element
17 * is deprecated in HTML 4.01.
18 * <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>.
20 public interface HTMLBaseFontElement extends HTMLElement {
21 /**
22 * Font color. See the color attribute definition in HTML 4.01. This
23 * attribute is deprecated in HTML 4.01.
25 public String getColor();
26 /**
27 * Font color. See the color attribute definition in HTML 4.01. This
28 * attribute is deprecated in HTML 4.01.
30 public void setColor(String color);
32 /**
33 * Font face identifier. See the face attribute definition in HTML 4.01.
34 * This attribute is deprecated in HTML 4.01.
36 public String getFace();
37 /**
38 * Font face identifier. See the face attribute definition in HTML 4.01.
39 * This attribute is deprecated in HTML 4.01.
41 public void setFace(String face);
43 /**
44 * Computed font size. See the size attribute definition in HTML 4.01.
45 * This attribute is deprecated in HTML 4.01.
46 * @version DOM Level 2
48 public int getSize();
49 /**
50 * Computed font size. See the size attribute definition in HTML 4.01.
51 * This attribute is deprecated in HTML 4.01.
52 * @version DOM Level 2
54 public void setSize(int size);