h1 {
	font-family: sans-serif;
}

.nav {
	text-align: right;
}

p {
	font-size: small;
	line-height: 150%;
	margin-left: 3em;
	margin-right: 3em;
}

ul {
	font-size: small;
}

ol {
	font-size: small;
}

li {
	margin-bottom: 0.3em;
	line-height: 130%;
}

dl {
	font-size: small;
}

td {
	font-size: small;
}

address {
	text-align: right;
	font-style: normal;
}

.code {
	margin-left: 4em;
	margin-right: 4em;
	border-style: solid;
	border-width: 1px;
	border-color: black;
	white-space: pre;
}