table {
	  font-family:  monospace;
}
tr.odd, tr.even {
	border-bottom: 1px dotted gray;
}
td.indexcolsize {
	text-align: right;
}
td.indexcolname a, tr.indexhead a {
	text-decoration: none;
}
table {
	border-style: none;
	border-collapse: collapse;
}
td {
	padding: 1ex 2em;
}
a {
	color: #cf0f14;
}
a:visited {
	color: #5f0a0a;
}