.message {
	border: dashed 1px;
	border-color:#999999;
	margin-left: 7px;
	padding: 0.5em;
	line-height: 150%;
	font-family: monospace;
	font-size: 12px;
	color:#000;
}
.coverage- {
	/* pre-wrap is better, but doesn't work in FireFox or IE. */
	white-space: pre;
	
	margin: 0px;
}

.coverage-true {
	background-color: #0fdf0f;
	white-space: pre;
	margin: 0;
}
.coverage-assertion {
	background-color: #009c00;
	white-space: pre;
	margin: 0px;
}
.coverage-false {
background-color:#FF0000;
	white-space: pre;
	margin: 0px;
}
.tableheader {
	background-color: #cccccc;
	font-weight: bold;
}

body {
	font:normal 68% verdana,arial,helvetica;
	color:#000000;
}

h1 {
	margin: 0px 5px 5px; 
	font: verdana,arial,helvetica;
	 color: #00cc33;
	 font-weight: normal;
	 font-size: 18.0pt;
	 font-weight: bold;
}
h1.page {
	margin-top: 1em; margin-bottom: 0.5em;
	font: bold 325% verdana,arial,helvetica
}

h3 {
	margin: 10px 5px 5px; 
	border-bottom: 1px solid #00cc33;
	font-weight: bold;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size:14px;
	color: #00cc33;
}

table tr td, table tr th {
	font-size: 12px;
}

a:link{
color: #333333;
}

a:visited{
color: #333333;
}

table.contractCoverage{
	font-weight: bold;
	margin: 5px 0px 0px; 
	text-align:left;
	background:#ffffff;
	border-width: 10px;
	margin-left: 5px;
	margin-bottom: 5px;
}

td {
	font-weight: bold;
	text-align:left;
	-moz-border-radius: ;
	background:#ffffff;
}
td.tableheader {
	padding: 5px;
}
td.header {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	text-align:left;
	padding: 5px;
	background:#00cc33;
	-moz-border-radius: ;
	width=150px;
}

td.count, td.percent {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: normal;
	text-align: right;
	background: #eeeeee;
	padding: 3px 5px 3px 3px;
	-moz-border-radius: ;
}
td.percent {
	font-style: italic;
}
