BODY {
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 10pt;
}

P {
	font-size: 10.0pt;
	color: #000000;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 10pt;
	margin-bottom: 10pt;
}
H1 {
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
	font-weight: bold;
	font-size: 16pt;
	color: #416119;
}
H2 {
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
	font-weight: bold;
	color: #416119;
	font-size: 16pt;
}
H3 {
	font-family: Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
	font-size: 13pt;
}
H4 {
	font-family: Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
	font-size: 12pt;
}
H5 {
	font-size: 11pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
}
H6 {
	font-size: 10pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
}
PRE {
	background-color: #eee; 
}
DT {
	font-size: 10.0pt;
	color: #000000;
	font-family: Verdana, "DejaVu Sans", sans-serif;
}

DIV.table TH, DIV.informaltable TH {
	background-color: #eee; 
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 4px;
	padding-bottom: 4px;
	text-align: left
}
DIV.table TD, DIV.informaltable TD {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 4px;
	padding-bottom: 4px;
	vertical-align: top;
}
DIV.table P, DIV.informaltable P {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 5pt;
	margin-bottom: 5pt;
}
DIV.table TABLE, DIV.informaltable TABLE {
	margin-top: 10pt;
	margin-bottom: 10pt;
}
TABLE.simplelist {
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 10pt;
}

CODE {
	color: #808080;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-weight: bold;
	font-style: normal;
	font-size: 9pt;
}
EM.replaceable {
	color: #808080;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-weight: bold;
	font-style: italic;
	font-size: 9pt;
}

DIV.toc DD {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
	margin-left: 16pt;
}
DIV.toc DT {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.list-of-figures DD {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.list-of-figures DT {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}
DIV.navheader TH{
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	font-variant: normal;
	font-weight: bold;
	color: #416119;
}
DIV.navheader TD{
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	font-variant: normal;
	font-weight: bold;
}
DIV.navfooter TD{
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	font-variant: normal;
	font-weight: bold;
}

DIV.revhistory TD{
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	padding-left: 2px;
	padding-right: 2px;
	padding-top: 2px;
	padding-bottom: 2px;
	border: 1px solid ;
}

DIV.revhistory P {
	font-size: 8.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}

DIV.revhistory TH{
	background-color: #eee; 
	font-size: 9.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	padding-left: 2px;
	padding-right: 2px;
	padding-top: 2px;
	padding-bottom: 2px;
	text-align: left;
}

DIV.copyright, .pubdate
{
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	text-align: left;
	padding: 0;
	border: 0;
}

DIV.legalnotice
{
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	color: #000000;
	background-color: #ddd;
	padding: 5px 5px 5px 5px;
	border: 1px solid #000000;
}
ol {
	font-size: 10.0pt;
	font-family: Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
}

/* admonition headings */
DIV.note, div.important, div.warning, div.caution, div.tip
{
	padding: 0px 0px 0px 0px;
}

DIV.note th, div.important th, div.warning th, div.caution th, div.tip th
{
	/* set font size and line height                             */
	/* list of fonts provides fallbacks if a font is not present */
	font: 12px/16px Verdana, "DejaVu Sans", sans-serif;

	font-weight: 600;

	text-decoration: underline;

	/* left align */
	text-align: left;
}

.note p, .important p, .warning p, .caution p, .tip p
{
	margin: 0;
}

.note img, .important img, .warning img, .caution img, .tip img
{
	margin: 3px 3px 0px 0px;
}