#ViewSource {
	position:absolute;
	left:40%;
	top:1em;
}
#ViewSource a {
	background-color:#fff;
	color:#000;
}

td.numeric {
	text-align:right;
}
td.chk {
	text-align:center;
}
.highlight {
	border:1px solid blue;
}
th {
	text-align:left;
}
