body {
	background-color: #cc0000;
	color: #FFFFFF;
	font-family: "Helvetica Neue", Arial, Helvetica, Geneva, sans-serif;
}
.BOTProgramList{
	font-size: 12px;
}
.BOTProgramList a{
	text-decoration: none;
	color:#FFF;
}
.BOTProgramList a:hover{
	color: blue;
}
.BOTProgram{
	margin-bottom: 16px;
	font-weight: bold;
}
.BOTRunTime{
	font-size: 9px;
	font-weight: normal;
	font-style: normal;
}
.BOTSubprogramList{
	font-weight: normal;
	font-style: normal;
	margin-left: 8px;
}
.BOTSubprogram{
}