/*
 * Style sheet for the HTML 4.0 specification
 * $Id: default.css,v 1.12 1997/12/12 18:46:53 ijacobs Exp $
 */

body {
    background: white;
    color: black;
    margin: 0 2em 0 2em;
}
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.focusbox {
    border: 2px solid #000;
    background-color: #eee;
    padding: 0 1em 0 1em;
    margin: 0 .5em 0 .5em;
}
div.deprecated-example {
    width: 100%;
    color: red;
    border: solid rgb(255,165,0); /* orange */
}
div.deprecated-example p {
    color: black;
}
div.note {
    color: #00a;
    margin-left: 1em;
}
p.note {
    color: #00a;
    margin-left: 1em;
}
a.normref { 
    color : red;
}	

a.informref {
    color : green;
}	

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

ul.toc {
    list-style-type: none;
}

p.ad {
    color: red;
    font-size: larger;
}

span.ad {
    color: red;
    font-size: larger;
}

blockquote.example {
    color: maroon;
    margin-left: 1em;
}

.element {
   color: blue;
   margin-left: 0em;
}

dd {
   margin-left: 1em;
}

dt {
   color: blue;
}

div.navigate {
   text-align: center;
   color: teal;
   font-size: larger
}
hr.navigate {
   width: 90%;
}

.comment {
   margin-left: 1em;
   color: rgb(70,00,150);
}

.entity {
   color: rgb(0,100,100);
}

.attrib {
   color: green;
   margin-left: 1em;
}

div.reference {
   margin-left: 1em;
   color: maroon;
}

hr.reference {
   width: 95%;
}

sup {
	size: 10%;
}