/*
 * Style sheet for the HTML 4.0 specification
 * $Id: style.css,v 1.2 2000/02/01 17:25:56 lutter Exp $
 */

body {
    background: white;
    color: black;
}
div.dtd {
    width: 90%;
    margin-left: 1em;
    color: black;
}
div.dtd dl {
    margin-left: 2em;
}
div.dtd p {
    margin-left: 2em;
}
tt.dtd {
   color: maroon;
}
dt {
    color: green;
    font-size: 20pt;
    font-weight: bold;
}
pre {
    color: maroon;
    margin-left: 0;
}
div.dtd p.exdent {
    margin-left: 0em;
}