.greyed {
	color: #999;
}

.redbold {
	color: darkred;
	font-weight: bold;
}

.greenbold {
	color: #6c0;
	font-weight: bold;
}