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; } .mainmenu { 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; } .mainmenu a { color:#737373; text-decoration:none; } .mainmenu a:hover { color: #FF0000; } #toc { background-color: #F3F3F3; width:220px; 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: 5px; padding-left: 15px; border-bottom: 1px dotted #D8D8D8; } .topic a { color:#4F811A; font-size: 8pt; text-decoration: none; } .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: 1em 0 1em 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; } .quicksearch .search .searchBox { width: 25em; } .quicksearch .search { text-align: center; padding: 2em; } .searchItem { margin-top: 20px; margin-left: 20px; margin-right: 20px; } .searchItemBody { margin-top: 0em; font-size: 0.9em; } .searchItemLink { font-size: 1.05em; } .searchterm { font-weight: bold; } .searchAPIItem { margin-top: 5px; margin-left: 20px; margin-right: 20px; } .searchHeader, .emptyResult { margin-top: 30px; } .empty_search_result { text-align: center; margin: 30px; } /** Comments **/ #comments { margin: 10px; } .comment_header { border-bottom: 1px solid silver; } .comment_item { padding: 10px; border: 1px solid silver; margin: 0 10px 10px 10px; } .comment_item .number { float: right; font-size: 1.5em; font-weight: bold; color: silver; } .comment_item1 { background-color: #EDEDED; } .comment_item .email { font-weight: bold; display: block; } .comment_item .date { font-size: 0.85em; display: block; border-bottom: 1px dotted silver; } .comment_item .comment { padding: 10px; } .add_comments { margin-top: 2em; } .add_comments .comment_email { margin-bottom: 5px; } .add_comments .comment_email input { width: 25em; } .add_comments .comment_content textarea { width: 75%; height: 200px; padding: 5px; } .add_comments .comment_email label, .add_comments .comment_content label { width: 8em; float: left; text-align: right; padding-right: 5px; } .add_comments .add_comment { padding-left: 8.2em; padding-top: 0.5em; } .add_comments .please_add { padding-left: 8.2em; } .add_comments h3, .comment_added h3 { border-bottom: 1px solid silver; } .comment_preview { margin: 10px; padding: 10px; border: 1px solid silver; } .comment_preview .comment { padding: 10px; } .comment_added { margin-top: 3em; border-top: 1px dotted silver; padding: 10px; } .comment_added .comment { padding: 10px; margin-top: 10px; } .comment_added .thank { background-color: #ffffcc; padding: 20px; }