.font {
	font-family: "Courier New", Courier, mono;
	font-size: small;
	color: #333333;
}
.border {
	border: thin dotted #333333;
}

a
{ color: #333333; }

a:vlink
{ color: #333333; }

a:alink
{ color: #333333; }

a:hover
{ text-decoration: underline; color: #333333; }