body {
	background-color: white;
	text: black;
}

a:link {
	color: #000099;
}

a:visited {
	color: #000099;
}

a:active {
	color: #840084;
}

#title {
	color: white;
	margin: 0px;
	padding: 7px 0px 5px 11px;
	font-size: 200%;
	background-color: #85A7F2;
	font-family: Century, Serif;
	font-style: italic;
}

#subtitle {
	position: absolute;
	top: 73px;
	right: 13px;
	margin: 0px;
	color: white;
	font-size: 73%;
	font-family: Century, Serif;
	font-weight: bold;
}

#header {
	margin: 0px;
	height: 7px;
	color: #2E4E99;
}

#copyright {
	font-family: Century, Serif;
	font-size: 75%;
	font-style: italic;
	text-decoration: none;
}

#lastmodified {
	position: relative;
	top: -50px;
	right: 10px;
	font-family: Century, Serif;
	font-size: 75%;
	font-style: italic;
	text-decoration: none;
	text-align: right;
}

#navi {
	margin: 0px;
	padding: 0px;
	font-family: Century, Serif;
	font-weight: bold;
}

p
{
	font-family: Century, Serif;
	font-size: 100%;
	margin-bottom: 15px;
	margin-left: 3%;
	margin-right: 5%;
	line-height: 130%;
}

td
{
	font-family: Century, Serif;
	font-size: 85%;
}

div.refsection a:hover, div.toc a:hover, p.pubdate a:hover
{
	color: #FF0000;
	text-decoration: underline;
}

h2
{
	margin-top: 30px;
	font-size: 110%;
	font-style: italic;
	color: #FFFFFF;
	border-top-width: 1px;
	border-left-width: 0px;
	border-bottom-width: 2px;
	border-right-width: 1px;
	border-right-color: #000000;
	border-bottom-color: #000000;
	border-top-color: #000000;
	border-left-color: #8F8FCC;
	border-style: solid;
	background-color: #5252CC;
	padding: 5px;
	padding-left: 12px;
	letter-spacing: 0.3em;
}

div.navheader img, div.navfooter img
{
	border-width: 0px;
	vertical-align: middle;
}

div.informalfigure div.mediaobject
{
	border-width: 0px;
	vertical-align: middle;
	margin-left: 3%;
}

div.revhistory
{
	width: 70%;
}

div.revhistory table
{
	border-style: solid;
	border-width: 1px;
	background-color: #F2F2F2;
	margin-left: 5px;
}

div.revhistory div.verup
{
	border-bottom-width: 1px;
	border-bottom-style: solid;
	background-color: #E5E5E5;
	padding: 4px;
	letter-spacing: 0.4em;
}

div.revhistory th
{
	border-bottom-style: solid;
	border-bottom-width: 1px;
	padding: 4px;
	margin-left: 20px;
}

div.revhistory td
{
	padding: 4px;
}

div.appendix span
{
	font-size: 85%;
}

p.copyright
{
	margin-top: 10px;
	font-size: 75%;
	font-style: italic;
	text-align: right;
}

p.pubdate
{
	margin-top: -8px;
	font-size: 75%;
	font-style: italic;
	text-align: right;
}

p.pubdate a
{
	font-size: 110%;
	text-decoration: none;
}
	
div.toc dd
{
	border-color: #B2B2B2;
	border-width: 1px;
	margin-left: 10px;
/*	background-color: #F2F2F2; */
	padding-left: 10px;
}

span.part a, span.reference a
{
	padding-left: 4px;
}

div.toc dt
{
	border-color: #BFBFBF;
	font-family: Century, Serif;
	margin-left: 10px;
	padding-top: 2px;
	padding-bottom: 2px;
}

div.toc span.comment
{
	font-family: Century, Serif;
	margin-left: 10px;
	font-size: 95%;
}


div.navfooter hr
{
	color: #2E4E99;
	height: 7px;
}

div.refnamediv, div.refsynopsisdiv, div.refsection
{
	border-left-style: solid;
	border-bottom-style: solid;
	border-right-style: solid;
	border-width: 0px 1px 1px 1px;
	background-color: #F2F1F1;
	padding-bottom: 5px;
}

div.refnamediv p
{
	margin-left: 10px;
	font-size: 90%;
}

pre.programlisting
{
	margin-left: 5px;
	font-family: Monospace;
	font-weight: bold;	
}

div.refsection pre.programlisting
{
	width: 90%;
	font-size: 85%;
	margin-left: 10px;
	border-width: 1px 2px 2px 1px;
	border-style: solid;
	border-color: #333333;
	padding: 10px;
	background-color: #FFFFCF;
}

div.informaltable table
{
	border-collapse: separate;
	margin-left: 30px;
}

div.informaltable td
{
	padding-left: 10px;
	padding-right: 10px;
}

div.informalfigure img
{
	margin-left: 10px;
}

div.equation img
{
	margin-left: 15px;
}

div.caption p
{
	font-weight: bold;
	margin-left: 45px;
	margin-top: 3px;
}

div.refsection a
{
	font-size: 125%;
	font-weight: bold;
	text-decoration: none;
}

div.toc a
{
	font-size: 120%;
	font-weight: bold;
	text-decoration: none;
	margin-left: 2%;
}

div.toc p
{
	margin-top: 10px;
	margin-left: 0px;
	font-size: 150%;
	font-style: italic;
	border-style: solid;
	border-width: 1px;
	border-left-color: #ADE6A1;
	border-top-color: #F0FFED;
	border-right-color: #F0FFED;
	border-bottom-color: #ADE6A1;
	background-color: #F0FFED;
	color: #28990F;
	width: 70%;
	padding-left: 25px;
	padding-top: 10px;
	padding-bottom: 5px;
}
