/* Roughly based on the css from the tablesorter JQuery plugin */
span.time_info {
	float: right;
	font-size: 88%;
	font-family: times;
}
div.errmsg_box {
	margin: 5px;
	padding: 4px;
	font-size: 90%;
	border: 1px solid;
}
table {
	font-family:arial;
	margin:10px 0pt 15px;
	font-size: 10pt;
	width: 90%;
	text-align: left;
	padding: 4px;
	background-color: #E9E9E9;
}
table.tablesorter thead tr {
	font-weight: 400;
	font-style: italic;
	background-image: url(bg.gif);
	background-repeat: no-repeat;
	background-position: center right;
	cursor: pointer;
}
table a {
	color: black;
}
td.last_row {
	font-weight: bolder;
}
table tbody tr td.test_ok {
	background-color: #2E9910;
}
table tbody tr td.test_fail {
	background-color: #CF0700;
}
table tbody tr td.test_fail a {
	font-weight: bolder;
}
table tbody tr td.not_avail {
	background-color: #949494;
}
table tbody tr td.init_error {
	background-color: #EDCD83;
}
table tbody tr td.fatal_error {
	background-color: #EDCD83;
}
table tbody tr.odd  {
	background-color:#F0F0F6;
}
table.tablesorter thead tr .headerSortUp {
	background-image: url(asc.gif);
	background-repeat: no-repeat;
	background-position: center right;
	cursor: pointer;
}
table.tablesorter thead tr .headerSortDown {
	background-image: url(desc.gif);
	background-repeat: no-repeat;
	background-position: center right;
	cursor: pointer;
}
table.tablesorter thead tr .headerSortDown, table.tablesorter thead tr .headerSortUp {
background-color: #8dbdd8;
}