table {
	border-collapse:collapse;
	border: 1px solid #000000;
}

table th {
	border: 1px solid #000000;
}

table td {
	border: 1px solid #000000;
}

table.monospace {
    font-family: "Courier";
}

td.fixedWidth {
	width: 400px;
}

.PASS {
	border: 1px solid black;
	background-color: #CCFFCC;
}

.SHOULD_HAVE_FAILED {
	border: 1px solid black;
	background-color: #FFCC33;
}

.SHOULD_HAVE_PASSED {
	border: 1px solid black;
	background-color: #CC6600;
}

.CRASH {
	border: 1px solid black;
	background-color: #FF3333;
}

.TIMEOUT {
	border: 1px solid black;
	background-color: #666666;
}

.IMPLEMENTATION_PASS {
	border: 1px solid black;
	background-color: #66CCFF;
}

.IMPLEMENTATION_FAIL {
	border: 1px solid black;
	background-color: #0066FF;
}