body {
	background-color: rgb(95%, 95%, 95%);
	color: black;
	font-family: Georgia, Palatino, serif;
}

h1 {
	text-align: right;
	background-color: rgb(80%, 80%, 80%);
}

a:link img, a:visited img {
	border: none;
}

p {
}

.section {
	border: 1px solid black;
	background-color: rgb(90%, 90%, 90%);
	padding: 1em;
	margin-bottom: 2em;
}

pre {
	background-color: rgb(91%, 91%, 91%);
	padding: 0.5em;
	font-family: courier, monospace;
}

address {
	font-style: normal;
	margin-top: 1em;
	text-align: right;
}

.download {
	margin-left: auto;
	margin-right: auto;
}

.download tbody {
	font-family: courier, monospace;
}

.download th {
	border-bottom: 1px solid black;
}

.download td {
	padding-left: 1em;
	padding-right: 1em;
}