body {
	background-color: white;
	color: black;
	line-height: 150%;
	padding: 1em;
}

samp {
	font-size: 14px;
}

pre {
	background: black;
	color: lightgreen;
	padding: 20px;
	width: 300px;
	font-size: 18px;
}

a:link {
	background-color: inherit;
	color: #002B80;
}

a:visited {
	background-color: inherit;
	color: #90a0c0;
}

div.header {
	background-color: #FFCC00;
	border: thin solid black;
	color: black;
}

div.header h1 {
	font-size: 250%;
	padding: 0 0 0 0.5em;
}

div.main {
	margin: 1em;
	margin-top: 0em;
}

h2 {
	padding: 1ex 0 0 0;
	color: black;
}

div.content {
	float: left;
	padding: 0 1em 1em 1em;
}

div.logo {
	margin: 1em;
	float: right;
	width: 200px;
}

div.footer {
	clear: both;
	border-bottom: solid thin gray;
	text-align: right;
}

div.footer img {
	border: 0;
}