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