body {
	margin-left: 2em;
	margin-right: 2em;
	font-family: Verdana, luxi sans, sans-serif;
}

h1, h2, h3, h4 {
	color: #000066;
	font-weight: bold;
	font-family: Verdana, luxi sans, sans-serif;
}

h1.title {
	color: #ffffff;
	background: #006699;
	padding: 0.5em;
	border: none;
}

h1.body {
	margin-left: 2em;
	margin-right: 2em;
}

dl {
	margin-left: 2em;
	margin-right: 2em;
}

pre {
	margin-left: 2em;
	margin-right: 2em;
	font-family: Courier New, monospace;
	font-size: small;
	background-color: #fff8df;
}

address {
	font-size: small;
}