summaryrefslogtreecommitdiff
path: root/external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java
diff options
context:
space:
mode:
Diffstat (limited to 'external/jaxp/source/org/w3c/dom/html/HTMLFontElement.java')
-rwxr-xr-xexternal/jaxp/source/org/w3c/dom/html/HTMLFontElement.java43
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);
+
+}
+