.orange_13 {
	font-size: 13px;
	font-weight: normal;
	color: #FF9900;
	font-family: "Courier New", Courier, monospace;
}

.blue_13 {
	font-size: 13px;
	font-weight: normal;
	color: #000099;
	font-family: "Courier New", Courier, monospace;
}

.green_13 {
	font-size: 13px;
	font-weight: normal;
	color: #336600;
	font-family: "Courier New", Courier, monospace;
}

.red_13 {
	font-size: 13px;
	font-weight: normal;
	color: #990066;
	font-family: "Courier New", Courier, monospace;
}