.divider {
	width: 100%; border-bottom:2px solid black; margin-bottom:0px; padding: 4px; 
	background-color:#EEEEEE;
	font-weight:bold;
	font-style:oblique
	
}
body, pre, td {
	font-family:Arial, Helvetica, sans-serif; font-size:small;
	font-size: 12px;
}


pre {
font-size:10px;
}
table { border-collapse:collapse;
border-color:#999999;
border-style:solid;
border-width:0px;
}
.tuningtd {
	padding-right: 10px;
	padding-left: 10px;
}
select {
	font-size:10px;
}
.green { background-color:lightgreen;
}