.normal {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
}
.basicheader {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-weight: bold;
}
.CustConfigHeader {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
	font-style: normal;
	color: #FF6600;
}
.smallerheader {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 13px;
	font-style: normal;
	font-weight: normal;


}
.platformselectiontext {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
}
.cpuplatformselection {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 14px;
}
.datetime {

	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	padding-right: 5px;
}