.doublelineblue {
	border-top-width: 1px;
	border-bottom-width: 1px;
	border-top-style: solid;
	border-bottom-style: solid;
	border-top-color: #003366;
	border-right-color: #003366;
	border-bottom-color: #003366;
	border-left-color: #003366;
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 10px;
	border-right-style: none;
	border-left-style: none;
	border-right-width: 1px;
	border-left-width: 1px;
	padding-right: 5px;
	padding-left: 5px;
}
.black {
	color: #000000;
	text-decoration: none;
}
html {
	font-family: Geneva, Arial, Helvetica, sans-serif;
	font-size: small;
}
h1 {
	font-size: 24px;
	color: #CC0000;
}
.nodeco {
	text-decoration: none;
	color: #336600;
}