/* Style rules for the cruise control results */
#navigation-left select {
	font-family: arial, helvetica, sans-serif;
	font-size: 11px;
	width: 100%;
}

#main-content ul {
	border: 0;
	margin-left: 0;
	padding-left: 0;
}

#main-content ul, #main-content li {
	list-style: none;
}


#main-content h1, #main-content h2, #main-content h3,
	#main-content ul, #main-content table, #main-content pre,
	#main-content p {
	width: 485px;
}

table#utests, table#ftests, table#rtests {
	border: medium groove;
}

.evenrow {
	background-color: #ffffc0;
}

.oddrow {
	background-color: #d7d7d7;
}

pre {
	white-space: pre-wrap;
	overflow: auto;
}

span.modifificationType {
	font-weight: bolder;
	color: red;
}