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

body {
	margin: 0px 0px 0px 0px;
	background-color: #ffffff;
	font-family: verdana, arial, helvetica, sans-serif;
	text-align: left;
}

body A { text-decoration: none; color:#039; }
body A:hover { text-decoration: underline; }

tt.example {
    color: maroon;
    margin-left: 1em;
}
pre {
    color: maroon;
    margin-left: 1em;
}
div.segmentContainer {
	position: absolute;
	top: 135px;
	left: 195px;
	width: 740px;
	height: 255px;
	border: none;
	background-color: #FFFFFF; /* borrowed from pre.segmentText (see below) */
	margin: 0px; /* all margins are 0 */
	font-size: 12px;
	color: #b3a26e;
	line-height: 18px;
	font-family: verdana, arial, helvetica;
	text-align: left;
	padding: 5pt;
	overflow: hidden;
}
div.segmentText {
	position: absolute;
	top: 135px;
	left: 195px;
	width: 740px;
	height: 255px;
	border: none;
	background-color: #FFFFFF; /* borrowed from pre.segmentText (see below) #FFF0EB*/
	margin: 0px; /* all margins are 0 */
	font-size: 12px;
	color: #865920; /* #b3a26e */
	line-height: 18px;
	font-family: verdana, arial, helvetica;
	text-align: left;
	padding: 5pt;
	overflow: hidden;
}
div.segmentText p,ul{
	margin-top: 11px;
	margin-bottom: 11px;
}


/* the following are not used */
pre.segmentText {
	margin-left: 0;
	font-size: 10px;
	color: #b3a26e;
	line-height: 18px;
	font-family: verdana, arial, helvetica;
	text-align: left;
}
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;
}
p.note {
    color: green;
    margin-left: 1em;
}
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}

div.dtd-fragment {
	width: 100%;
	border: none;
	background-color: black;
}
pre.dtd-fragment {
   margin-left: 0;
}