.player1 {
	color: #0000CD;
}
.player2 {
	color: #008000;
}
.ko {
	color: #FF0000;	
}
.additional
{
	color: #A0522D;
}