table.result_set{
	/*border:1px solid #4e77a7;*/
	/*border:1px solid #336699;*/
	border-collapse: separate;
	
}
table.result_set th{
	background-color: #2d4979;
	color: white;
	font-weight:bold;
	height:18px;
	padding:5px;
	font-size: 83%;
}
table.result_set td{
	padding:5px;
	height:18px;
	border-bottom:1px solid #ccc;
	font-size: 83%;
}
.row_highlight{background-color: #ffc}
.row_checked{background-color: #e4f6c0}