body {
	width: 750px;
	padding: 16px;
	margin-left: auto;
	margin-right: auto;
	font-size: 11pt;
}

#logo {
	width: 160px;
	height: 130px;
	float: left;
	margin-right: 16px;
	margin-top: 10px;
}

#header {
	height: 160px;
	margin-left: auto;
	margin-right: auto;
	font-size: 10pt;
}

#header h1 {
	font-size: 18pt;
	font-weight: 700;
	font-variant: small-caps;
	font-transform: capitalize;
}

#developers {
	list-style: none;
}

#developers li {
	margin-left: 1em;
}

#navigation {
	border-top: 2px solid gray;
	border-bottom: 2px solid gray;
	margin-top: 16px;
	margin-bottom: 16px;
	padding-top: 10px;
	padding-bottom: 10px;
	text-align: center;
}

#navigation a {
	margin-left: 12px;
	margin-right: 12px;
}

#footer {
	margin-top: 16px;
	font-style: italic;
	font-size: 9pt;
	color: #555;
	text-align: center;
	border-top: 2px solid gray;
	padding-top: 4px;
}

#status ul {
	padding-left: 10px;
}