p
{
	font-family: Century, Serif;
	font-size: 85%;
	margin-bottom: 10px;
	margin-left: 5px;
	margin-right: 5px;
	line-height: 120%;
}

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;
}

img 
{
	border-width: 0px;
	vertical-align: middle;
}

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.navheader table
{
	margin-bottom: -8px;
}

div.navheader span
{
	margin-left: 5px;
	margin-right: 10px;
	font-family: Century, Serif;
	font-size: 200%;
	font-style: italic;
	padding-left: 5px;
	padding-right: 15px;
}

div.navheader td
{
	padding-bottom: 5px;
}

div.navheader th.function_name
{
	background-color: #85A7F2;
	color: #FFFFFF;
	vertical-align: bottom;
	padding-top: 7px;
	padding-bottom: 5px;
}

div.navheader th.section_title
{
	background-color: #85A7F2;
	color: #FFFFFF;
	font-size: 78%;
	vertical-align: bottom;
	padding-right: 5px;
	padding-bottom: 2px;
}

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%;
}

div.refsynopsisdiv pre.programlisting
{
	margin-left: 5px;
	font-family: Century, Serif;
	font-size: 120%;
	font-weight: bold;
	border-style: solid;
	border-width: 1px 2px 2px 1px;
	border-color: #4C4C4C;
	background-color: #FFFFE0;
	padding: 10px;
	width: 90%;
}

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: 20px;
}

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.navfooter th
{
	font-family: Century, Serif;
}

div.navfooter div.cright, div.navfooter a
{
	font-family: Century, Serif;
	font-size: 90%;
	font-style: italic;
	text-decoration: none;
}

div.navfooter div.lastmodified
{
	font-family: Century, Serif;
	font-size: 95%;
	font-style: italic;
}

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

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

div.toc p
{
	margin-top: 10px;
	margin-left: 0px;
	font-size: 150%;
	font-style: italic;
	letter-spacing: 1em;
	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;
}
