html {
	margin: 0;
	padding-top: 20px;
	background-color: #000;
	color: rgb(0,255,0);
	font-family: monospace;
	font-size: 12px;
}
body {
	margin: 0;
	padding: 0;
}
a:link {
	color: rgb(0,128,0);
	text-decoration: none;
}
a:visited {
	color: rgb(0,128,0);
	text-decoration: none;
}
a:hover {
	color: rgb(0,255,0);
	text-decoration: none;
}
a:active {
	color: rgb(0,128,0);
	text-decoration: none;
}
span.label {
	position: relative;
	top: -10px;
	left: 10px;
	padding: 0 5px 2px 5px;
	background-color: rgb(85,85,85);
	border-left: 1px solid rgb(0,128,0);
	border-right: 1px solid rgb(0,128,0);
}
div#menu {
	margin: auto;
	width: 800px;
	text-align: right;
}
div#menu b {
	color: rgb(0,128,0);
}
div#box {
	margin: auto;
	width: 800px;
	border: 1px solid rgb(0,128,0);
	text-align: left;
}
div#box p,h2,h3,li {
	margin: 0;
	padding: 0px 10px 10px 10px;
	color: #c0c0c0;
}
div#box .ex {
	background-color: rgb(85,85,85);
	font-size: 10px;
}
div#ftr {
	margin: auto;
	width: 800px;
	text-align: right;
}