html, body, td {
	font-family: Courier;
	font-size: 1em;
	background-color: white;
}
.mark_red {
	color: #A00000;
}
.mark_green {
	color: #00A000;
}
.mark_blue {
	color: #0000A0;
}