* {
	background: #eeeeee;
	font-family: sans-serif;
}

body {
	margin: 2.0em;
	color: #111111;
}

code {
	font-family: monospace;
}

p.date {
	margin: 0;
	font-size: 0.8em;
}

div.logo {
	background: #cccccc;
	height: 168px;
}

div.menu {
	background: #444444;
	color: #3399FF;
}

div.copyright {
	font-size: 0.8em;
	text-align: right;
}

img.logo {
	background: #cccccc;
	float: right;
}

a.menu {
	background: #444444;
	color: #3399FF;
	font-style: normal;
	text-decoration: none;
}

a.menu:hover {
	background: #eeeeee;
}

hr {
	margin: 0;
	border: 0;
	height: 3px;
	background-color: #3399FF;
}