body {
	margin: 0px;
	font-family: monospace;
	font-size: 12px;
}

img {
	border: none;
}

div.command {
	color: #000000;
	background: #E8E8E8;
	margin-left: 4ex;
	margin-top: 2ex;
	margin-bottom: 2ex;
	border: 1px solid #999999;
	width: 72ex;
}

#top-notification {
	width: 560px;
	margin-left: 4ex;
	margin-right: 4ex;
	margin-top: 2ex;
	text-align: right;
	font-size: 8px;
}

#header {
	width: 80ex;
	margin-left: 4ex;
	margin-right: 4ex;
	margin-bottom: 4ex;
	border-bottom: 2px solid #000000;
}

#body {
	margin-left: 4ex;
	margin-right: 4ex;
}

#footer {
	width: 80ex;
	margin: 4ex;
	padding-top: 2ex;
	border-top: 2px solid #000000;
	font-size: 12px;
}

#badges {
	width: 80ex;
	margin: 4ex;
	padding: 1ex;
	background: #E8E8E8;
	font-size: 12px;
	vertical-align: middle;
}

A:link {
	text-decoration: underline;
	color: #404040;
}
A:visited {
	text-decoration: underline;
	color: #404040;
}
A:active {
	text-decoration: underline;
	color: #AAAAAA;
}
A:hover {
	text-decoration: none;
	color: #404040;
}