body {
	margin:		1em;
}
h2 {
	margin-bottom: 0.5em;
}
p {
	margin: 0;
}
html, body, td {
	font-family:	Courier;
	font-size:	1em;
	background-color:white;
}
.bad {
	color:		#c62828;
}
.good {
	color:		#00A000;
}
.info {
	color:		#0000A0;
}
.desc {
	opacity:	0.8;
}