body
{
	font-family: monospace;
}

pre { background: #cccccc; }

table
{
	width: 100%;
	border: 1px solid black;
}

th.numbers
{
	width: 10%;
}

td
{
	text-align: center;
}

td.name
{
	text-align: left;
}
td.time { background: #80ff80; }
td.ok { background: #80ff80; }
td.error { background: #ff8080; }
td.critical { background: #ffc080; }
td.warning { background: #ffff80; }
td.remark { background: #8080ff; }
td.missing { background: #c0c0c0; }