#red {
    color: #F00;
    font-weight: bold;
}
#blue {
    color: #00F;
    font-weight: bold;
}
#green {
    color: #0a0;
    font-weight: bold;
}
#black {
    color: #000;
    font-weight: bold;
}
#myAnalyzeButton {
	width: 50px;
	padding: 2px;
	border-width: 1px;
	border-style: solid;
	border-color: #0000ff;
	margin: 5px;
}
#myContinueButton {
	width: 75px;
	padding: 2px;
	border-width: 1px;
	border-style: solid;
	border-color: #0000ff;
	margin: 5px;
}
#myPauseButton {
	width: 50px;
	padding: 2px;
	border-width: 1px;
	border-style: solid;
	border-color: #0000ff;
	margin: 5px;
}