.errbody {
	color: red;
}
.errhead {
	color: red;
	font-size: 150%;
}