/*
 * Style sheet for the CSS2 specification
 * $Id: default.css,v 2.14 1998/03/24 16:16:22 bbos Exp $
 */

PRE {
    font-family: monospace;
    margin-left: 1em;
/*    font-size: 90% */
}

ADDRESS {
    text-align: right;
    font-style: italic;
}

VAR {
    font-style: normal;
}

IMG {
    border: 0;
}

.toc {
    text-indent: 0;
}

P.toc-line {
    margin-top: 1em;
    margin-bottom: 1em;
    text-indent: 0;
}

/* TABLE {margin-left: 1em} */
DIV.propdef {margin: 1.2em 0}

div.example { color: maroon }
pre.example { color: maroon }
pre.illegal-example { color: red }
div.illegal-example { color: red }
div.illegal-example p { color: black }


div.html-example { color: maroon }
pre.html-example { color: maroon }
pre.illegal-html-example { color: red }
div.illegal-html-example { color: red }
div.illegal-html-example p { color: black }
pre.deprecated-html-example { color: red }
div.deprecated-html-example { color: red }
div.deprecated-html-example p { color: black }

div.xml-example { color: maroon }
pre.xml-example { color: maroon }
pre.illegal-xml-example { color: red }
div.illegal-xml-example { color: red }
div.illegal-xml-example p { color: black }

div.dtd-example { color: maroon }
pre.dtd-example { color: maroon }
pre.illegal-dtd-example { color: red }
div.illegal-dtd-example { color: red }
div.illegal-dtd-example p { color: black }

.note {
    font-weight: bold;
    margin-top: 1em;
    margin-bottom: 1em;
    margin-left: 1em;
    margin-right: 1em;
    color: green
}

.normref { 
    color: red;
}	

.informref {
    color: green;
}	

DIV.propdef TH { 
    text-align: right; 
}

DIV.descdef TH { 
    text-align: right; 
}

UL.toc LI, OL.toc LI {list-style-type: none}
DIV.toc UL UL, DIV.toc OL OL {margin-left: 0}
DIV.toc UL UL UL, DIV.toc OL OL OL {margin-left: 1em}
DIV.toc UL UL UL UL, DIV.toc OL OL OL OL {margin-left: 0}
LI.tocline1 {font-weight: bold}
LI.tocline2 {font-weight: normal}
LI.tocline4 {font-style: italic}

UL.index li{
list-style-type: none
}

S, DEL {text-decoration: line-through; color: red}
U, INS {text-decoration: underline; background: #bfa}

DIV.figure {
    text-align: center;
    margin: 2.5em 0
}

P.caption, CAPTION {
    text-align: center;
    font-style: italic;
    font-weight: bold;
    color: #088;
    margin: 1.5em 25% 0 25%;
}

DIV.toc, UL.index, DT {
    text-align: left
}

SUP {
    vertical-align: super;
    font-size: 80%
}