/*
 * Style sheet for the HTML 4.0 specification
 * $Id: default.css,v 1.13 1999/03/08 17:25:02 ijacobs Exp $
 */

div.example {
    width: 100%;
    color: black;
}
div.dtd-example {
    width: 100%;
    color: black;
}
tt.example {
    color: maroon;
    margin-left: 1em;
}
pre {
    color: maroon;
    margin-left: 1em;
}
div.dtd-fragment {
    width: 100%;
    border: none;
    background-color: #eee;
}
pre.dtd-fragment {
    margin-left: 0;
}
pre.dtd {
    color: black;
    margin-left: 0;
}
div.illegal-example {
    width: 100%;
    color: red;
    border: solid red;
}
div.illegal-example p {
    color: black;
}
div.deprecated-example {
    width: 100%;
    color: red;
    border: solid rgb(255,165,0); /* orange */
}
div.deprecated-example p {
    color: black;
}
div.note {
    color: green;
    margin-left: 1em;
    font-family: Times New Roman;
    FONT-SIZE: 12pt;
}
p.note {
    color: green;
    margin-left: 1em;
    font-family: Times New Roman;
    FONT-SIZE: 12pt;
}
ul.toc {
    list-style-type: none;
}

a.normref { 
    color : red;
}	

a.informref {
    color : green;
}	

DIV.subtoc {padding: 1em; border: solid thin; margin: 1em 0;
    background: #ddd}

A.menu1:link {  FONT-SIZE: 8pt; COLOR: #ffffff; TEXT-DECORATION: none; font-family: Verdana, Arial, Times New Roman}
A.menu1:visited {       FONT-SIZE: 8pt; COLOR: #ffffff; TEXT-DECORATION: none; font-family: Verdana, Arial, Times New Roman}
A.menu1:active {        FONT-SIZE: 8pt; COLOR: #ffffff; TEXT-DECORATION: none; font-family: Verdana, Arial, Times New Roman}
A.menu1:hover { FONT-SIZE: 8pt; COLOR: #0000ff; TEXT-DECORATION: none; font-family: Verdana, Arial, Times New Roman}


A.menu2:link {  FONT-SIZE: 13pt; COLOR: #800000; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu2:visited {       FONT-SIZE: 13pt; COLOR: #800000; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu2:active {        FONT-SIZE: 13pt; COLOR: #800000; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu2:hover { FONT-SIZE: 13pt; COLOR: #66672E; TEXT-DECORATION: none; font-family: Garamond, Gothic}

A.menu3:link {  FONT-SIZE: 13pt; COLOR: #800000; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu3:visited {       FONT-SIZE: 13pt; COLOR: #800000; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu3:active {        FONT-SIZE: 13pt; COLOR: #800000; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu3:hover { FONT-SIZE: 13pt; COLOR: #FF0000; TEXT-DECORATION: none; font-family: Garamond, Gothic}

A.menu4:link {  FONT-SIZE: 13pt; COLOR: #0000FF; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu4:visited {       FONT-SIZE: 13pt; COLOR: #0000FF; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu4:active {        FONT-SIZE: 13pt; COLOR: #0000FF; TEXT-DECORATION: none; font-family: Garamond, Gothic}
A.menu4:hover { FONT-SIZE: 13pt; COLOR: #FF0000; TEXT-DECORATION: none; font-family: Garamond, Gothic}