span.red{color: red;}
BODY {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 10pt;
}

P {
	font-size: 10.0pt;
	color: #000000;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 10pt;
	margin-bottom: 10pt;
}
H1 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
	font-weight: bold;
	font-size: 16pt;
	color: #416119;
}
H2 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-variant: normal;
	font-weight: bold;
	color: #416119;
	font-size: 16pt;
}
H3 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
	font-size: 13pt;
}
H4 {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
	font-size: 12pt;
}
H5 {
	font-size: 12pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
}
H6 {
	font-size: 11pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	color: #416119;
}
PRE {
	font-family:     Inconsolata, monospace;
	background-color: #eee;
	font-size: 11pt; 
	word-wrap: break-word;
        white-space: pre-wrap;
        white-space: -moz-pre-wrap;

       		
}
DT {
	font-size: 10.0pt;
	color: #000000;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
}

DIV.table TH, DIV.informaltable TH {
	background: #D1DAC0;
	font-size: 9.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 4px;
	padding-bottom: 4px;
	text-align: left
	border-collapse: collapse;
	border-top: 1px solid black;
	border-bottom: 1px solid black;
	border-right: 1px solid black;
	border-left: 1px solid black;	
}
DIV.table TD, DIV.informaltable TD {
	font-size: 8.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	padding-left: 4px;
	padding-right: 4px;
	padding-top: 2px;
	padding-bottom: 2px;
	vertical-align: top;
	border-top: 1px solid black;
	border-left: 1px solid black;
	border-right: 1px solid black;
	border-bottom: 1px solid black;

}

DIV.table TR:hover, DIV.informaltable TR:hover 
{ 
background-color:#E0E0E0;
} 

DIV.table P, DIV.informaltable P {
	font-size: 10.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 5pt;
	margin-bottom: 5pt;
}
DIV.table TABLE, DIV.informaltable TABLE {
	margin-top: 4pt;
	margin-bottom: 4pt;
	border-collapse: collapse;
	width: 100%;
}
TABLE.simplelist {
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 10pt;
}

CODE {
	font-family: Inconsolata, monospace, Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-style: normal;
	font-size: 11pt;
}
EM.replaceable {
	color: #808080;
	font-family: Inconsolata, Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 11pt;
}

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

DIV.revhistory TD{
	font-size: 10.0pt;
	font-family: Ubuntu, 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: 9.0pt;
	font-family: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	margin-top: 1pt;
	margin-bottom: 1pt;
}

DIV.revhistory TH{
	background-color: #eee; 
	font-size: 9.0pt;
	font-family: Ubuntu, 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: Ubuntu, Verdana, "DejaVu Sans", sans-serif;
	font-size: 9.0pt;
	text-align: left;
	padding: 0;
	border: 0;
}

DIV.legalnotice
{
	font-family: Ubuntu, 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: 9.0pt;
	font-family: Ubuntu, 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.tip, div.tip
{
	border-top: 1px solid #416119;
        border-bottom: 1px solid #416119;
/*	border-left: 1px solid #416119;
        border-right: 1px solid #416119;*/
}


DIV.note, div.note, DIV.caution, div.caution, DIV.warning, div.warning, DIV.important, div.important
{
	border-top: 1px solid black;
        border-bottom: 1px solid black;
/*	border-left: 1px solid #cfcfcf;
        border-right: 1px solid #cfcfcf;*/
}


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

	font-weight: bold;
	font-style: italic;


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

.note p, .important p, .warning p, .caution p, .tip p
{
}

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


#header {
    background: white url(../images/header-bg.gif) no-repeat;
    position: fixed;
    width: 100%;
    height: 95px;
    top: 0;
    right: 0;
    bottom: auto;
    left: 0;
    border-bottom: 2px solid #cccccc;
    z-index: 2000;
}

#leftnavigation {
/* background-color:#91e7b3;*/
    overflow: auto;
    position: fixed;
    height: auto;
    top: 90px;
    bottom: 0;
    left: 0;
    width: 280px;
    z-index: 1500;
    border-right:2px solid #CCCCCC;
}

#content {
    position: relative;
    top: 90px; /* left: 240px;*/
    right: auto;  bottom: 20px;  
    margin: 0px 0px 0px 280px;
    width: auto;
    height: inherit;
    padding-left: 5px;
    padding-right: 30px;
    color: #000000;
    border-left: 2px solid #cccccc; overflow :scroll;
    z-index: 1000;

    max-width: 70em;
    min-width:800px;
}

#navheader {
    position: fixed;
    top: 65px;
    right:4px;
}

#content h1, #content h2 { color: #2c2c2c; }
.navfooter { bottom: 2%; }
.highlight { background-color: #c5d3c3; }
.highlightButton{ font-size: 0; }

/*  Show Hide TOC tree */
.pointLeft {
    background: url("../images/showHideTreeIcons.png") 0 0 no-repeat;
    height: 28px;
    width: 15px;
    display: block;
    font-size: 0;
    cursor: pointer;
}
.pointRight {
    background: url("../images/showHideTreeIcons.png") -15px 0 no-repeat;
    height: 28px;
    display: block;
    font-size: 0;
    cursor: pointer;
}

/* Search results Styling */
.searchExpression {
    color: #0050A0;
    background-color: #EBEFF8;
    font-size: 12pt;

}
.searchresult li a {
    text-decoration: none;
    color: #0050A0;
}
.searchresult li {
    color: #0050A0;
}
.shortdesclink {
    color: gray;
    font-size: 9pt;
}
.searchText {
    border: #BFCEE9 solid 1pt;
    width: 11em
}
.searchButton {
	margin-left: 3px;
    background: #EBEFF8;
    color: #0050A0;
    border: #BFCEE9 solid 1pt;
    font-weight: bold;
    font-size: 10pt
}

.title, div.toc>p{
	font-weight: bold;
	}