body {
	background-color: #aaaaaa;
	color: black;
	font-family: sans-serif;
}
img#logo {
	float: left;
}

h2 {
	border-top: solid #8899aa 1px;
}
div#main {
	background-color: white;
	margin: 16px;
	float: left;
	width: 80%;
}

#menu ul {
	margin: 0;
	padding: 0;
	list-style-type: none;
}
#menu a {
	display: block;
	text-decoration: none;
}

#menu a:link, #menu a:active, #menu a:visited {
	color: black;
}

#menu a:hover {
	color: white;
	background: #444444;
}

div#menu {
	clear: left;
	float: left;
	background-color: #8080ff;
	width: 20%;
	padding: 4px;
	margin: 4px;
}
div#body {
	float: right;
	background-color: white;
	width: 70%;
	padding: 4px;
}
div#attribution {
	clear: left;
	font-size: 9px;
}

p {
	text-align: justify;
	margin-left: 2px;
	margin-right: 2px;
}
