body {
	font-family: 'Lucida Grande', Verdana, Geneva, Lucida, Helvetica, Arial, sans-serif;
	font-weight:normal;
	font-size:10pt;
	color:black;
	margin:0px 0px 0px 0px;
	padding:0px;
	background-image: url('mantisbg.jpg');
	background-repeat: no-repeat;
	background-position: top right;
}

h1, h2, h3, h4
{
	color: #333;
}

h1, h2
{
	padding-bottom: 3px;
	border-bottom: 1px solid #ccc;
}

h1 {
	font-size:13pt;
}

h2 {
	font-size:12pt;
}

h3 {
	font-size:10pt;
	font-weight:bold;
}

a
{
    color: #cc3333;
}

#header {

	font-size:30px;
	font-weight:bold;
	text-align: right;
	color: #666;
	height:100px;
	background-image: url('pradologo.gif');
	background-repeat: no-repeat;
}

#header div.title
{
   display: none;
}

#header div.image
{
    display: block;
    float: right;
    width: 757px;
    height: 100px;
    background-image: url('mantis.jpg');
    background-repeat: no-repeat;
    background-position: top right;
}



#menu {
	padding:10px;
	padding-right:10px;
	background:#EDEDED;
	border-bottom: 1px solid #A6A6A6;
	border-top: 1px solid #DCDCDC;
	color:white;
	text-align:right;
	font-size: 9pt;
}

#menu a {
	color:#737373;
	text-decoration:none;
}

#menu a:hover {
	color: #FF0000;
}

#toc {
	background-color: #F3F3F3;
	width:200px;
	padding:0px 10px 0px 10px;
}

#content {
	background:#fff;
	padding: 1em 1em 1em 1em;
	line-height: 135%;
}

#footer {
	clear:both;
	color: gray;
	font-size:8pt;
	text-align:center;
	margin-top:25px;
	padding:10px;
}

.topic {
	font-size: 9pt;
	padding: 0px 0px 0px 0px;
}

.topic div {
    background-image: url('arrowdown.gif');
    background-repeat: no-repeat;
    background-position: left center;
    margin: 0px;
	font-size: 8pt;
	font-weight:bold;
	color:#2A480A;
	padding: 5px;
	padding-left: 15px;
	border-top: 1px solid #fff;
	border-bottom: 1px solid #E2E2E2;
}

.topic ul
{
    margin: 0px;
    padding: 0px;
}

.topic ul li
{
    list-style: none;
    margin: 0px;
    padding: 0px;
}

.topic a {
    display: block;
	color:#4F811A;
	padding: 5px;
	padding-left: 20px;
	height: 12px;
	font-size: 8pt;
	text-decoration: none;
	border-bottom: 1px dotted #D8D8D8;
}

.topic a:hover {
	color:#2A480A;
}

.source {
	padding: 0.5em;
	border-style:solid;
	border-width:1px;
	border-color:#eeeeee;
	background-color:#ffffee;
	font-family: "Courier New", Courier, mono;
	margin: 0.2em;
}

.source pre {
	font-family: "Courier New", Courier, mono;
	margin: 0;
}

.runbar
{
	margin: 2em 0 3em 0;
}

.runbar a:link, .runbar a:visited {
	background-color:#E2E2E2;
	font-size: 12px;
	font-weight: normal;
	padding: 3px;
	padding-left: 6px;
	padding-right: 6px;
	border-top: 1px solid white;
	border-left: 1px solid white;
	border-bottom: 1px solid #aaaaaa;
	border-right: 1px solid #aaaaaa;
	text-decoration: none;
}

.runbar a:link.active, .runbar a:visited.active, .runbar a:hover {
	background-color:#E2E2E2;
	font-size: 12px;
	font-weight: normal;
	padding: 3px;
	padding-left: 6px;
	padding-right: 6px;
	border-top: 1px solid #aaaaaa;
	border-left: 1px solid #aaaaaa;
	border-bottom: 1px solid white;
	border-right: 1px solid white;
}

#sourceList {
	background-color:#E2E2E2;
	margin:10px 10px 0px 10px;
	padding:10px;
	border:1px solid silver;
}

#sourceView {
	font-family: "Courier New", Courier, mono;
	background-color:#ffffee;
	margin:5px 10px 10px 10px;
	border:1px solid silver;
}

code {
	font-family: "Courier New", Courier, mono;
}

tt {
	font-family: "Courier New", Courier, mono;
	border-bottom: 1px dotted silver;
}

.sampleheader {
	font-size:30px;
	font-weight:bold;
	text-align: right;
	color: #666;
	height:100px;
	background-image: url('pradologo.gif');
	background-repeat: no-repeat;
}

.sampleheader div.title
{
   display: none;
}

.sampleheader div.image
{
    display: block;
    float: right;
    width: 900px;
    height: 100px;
    background-image: url('mantissample.jpg');
    background-repeat: no-repeat;
    background-position: top right;
}

.samplemenu
{
    padding:10px;
	padding-right:10px;
	background:#EDEDED;
	border-bottom: 1px solid #A6A6A6;
	border-top: 1px solid #DCDCDC;
	text-align:right;
	font-size: 9pt;
}

.samplemenu a {
	color:#737373;
	text-decoration:none;
}

.samplemenu a:hover {
	color: #FF0000;
}

.sampleheader a {
	font-size:30px;
	font-weight:bold;
	color: #666;
	text-decoration: none;
}

.samplepanel {
	margin: 0px;
	border: 1px solid silver;
	padding: 10px;
	margin-bottom:10px;
}

.sampletitle {
	width: 100%;
	border-bottom:1px solid silver;
	font-weight:bold;
	margin-bottom:5px;
}

.sampletable {
	width: 100%;
	border-collapse: collapse;
}

td.samplenote {
	width: 300px;
	text-align: right;
	background: #BFE4FF;
	border: 1px solid silver;
	padding: 5px;
	vertical-align: top;
}

td.sampleaction {
	background: #ffffee;
	border: 1px solid silver;
	padding: 5px;
	vertical-align: top;
}


dl
{
	margin: 0 2em;
}

dt
{
	font-weight: bold;
	margin-bottom: 0.15em;
}

dd
{
	margin-left: 2em;
	margin-bottom: 0.75em;
}