@import url(style-common.css);

h2 {
	color: #880000;
	text-align: center;
	font-size: 150%;
}

.list {
	font-family: monospace;
}

td {
	padding: 0.125em;
}

.foot {
	text-align: center;
	margin-top: 1em;
	color: #880000;
}