body {
	background-color: white;
	font-family: sans-serif;
	padding: 0.5em;
}

h1 {
	color: #767676;
}
h2 {
	margin-top: 1.5em;
	margin-bottom: 1em;
	color: #f0731f;
}
h3 {
	color: black;
}
p {color: black;}
a:link, a:visited {color: #e65f00;}
a:hover, a:focus, a:active {color: #ff8e00;}

div.footer {
	max-width: 1024px;
	margin: auto;
	padding: 0px;
	text-align: right;
	font-size: 80%;
}
div.footer p {color: #5a5a5a;}

pre {
	color: white;
	background-color: #888888;
	margin: 0 1em 0 1em;
	padding: 0.5em;
}

