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
013package org.w3c.dom.html2;
014
015/**
016 * The HTML document body. This element is always present in the DOM API, even 
017 * if the tags are not present in the source document. See the BODY element 
018 * definition in HTML 4.01.
019 * <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>.
020 */
021public interface HTMLBodyElement extends HTMLElement {
022    /**
023     * Color of active links (after mouse-button down, but before mouse-button 
024     * up). See the alink attribute definition in HTML 4.01. This attribute 
025     * is deprecated in HTML 4.01.
026     */
027    public String getALink();
028    /**
029     * Color of active links (after mouse-button down, but before mouse-button 
030     * up). See the alink attribute definition in HTML 4.01. This attribute 
031     * is deprecated in HTML 4.01.
032     */
033    public void setALink(String aLink);
034
035    /**
036     * URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] of the background texture tile image. See the background attribute 
037     * definition in HTML 4.01. This attribute is deprecated in HTML 4.01.
038     */
039    public String getBackground();
040    /**
041     * URI [<a href='http://www.ietf.org/rfc/rfc2396.txt'>IETF RFC 2396</a>] of the background texture tile image. See the background attribute 
042     * definition in HTML 4.01. This attribute is deprecated in HTML 4.01.
043     */
044    public void setBackground(String background);
045
046    /**
047     * Document background color. See the bgcolor attribute definition in HTML 
048     * 4.01. This attribute is deprecated in HTML 4.01.
049     */
050    public String getBgColor();
051    /**
052     * Document background color. See the bgcolor attribute definition in HTML 
053     * 4.01. This attribute is deprecated in HTML 4.01.
054     */
055    public void setBgColor(String bgColor);
056
057    /**
058     * Color of links that are not active and unvisited. See the link 
059     * attribute definition in HTML 4.01. This attribute is deprecated in 
060     * HTML 4.01.
061     */
062    public String getLink();
063    /**
064     * Color of links that are not active and unvisited. See the link 
065     * attribute definition in HTML 4.01. This attribute is deprecated in 
066     * HTML 4.01.
067     */
068    public void setLink(String link);
069
070    /**
071     * Document text color. See the text attribute definition in HTML 4.01. 
072     * This attribute is deprecated in HTML 4.01.
073     */
074    public String getText();
075    /**
076     * Document text color. See the text attribute definition in HTML 4.01. 
077     * This attribute is deprecated in HTML 4.01.
078     */
079    public void setText(String text);
080
081    /**
082     * Color of links that have been visited by the user. See the vlink 
083     * attribute definition in HTML 4.01. This attribute is deprecated in 
084     * HTML 4.01.
085     */
086    public String getVLink();
087    /**
088     * Color of links that have been visited by the user. See the vlink 
089     * attribute definition in HTML 4.01. This attribute is deprecated in 
090     * HTML 4.01.
091     */
092    public void setVLink(String vLink);
093
094}