.style4 {
	color: #FF00FF;
	font-size: 48px;
}
.style5 {font-size: 36px; font-family: Georgia, "Times New Roman", Times, serif;}
a:link {
	color: #999999;
	text-decoration: none;
}
a:visited {
	text-decoration: none;
	color: #999999;
}
a:hover {
	text-decoration: underline;
	color: #000000;
}
a:active {
	text-decoration: none;
	color: #999999;
}
.style7 {
	font-size: 12px;
	font-family: Georgia, "Times New Roman", Times, serif;
	color: #999999;
}
.style8 {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 14px;
	float: right;
}
.style9 {font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; font-style: italic; }
.style10 {	font-family: "Courier New", Courier, mono;
	font-size: 14px;
	color: #000000;
	font-weight: bold;
}

.style12 {	font-family: "Courier New", Courier, mono;
	font-size: 24px;
	color: #000000;
}

.style11 {	font-family: "Courier New", Courier, mono;
	font-size: 12px;
	color: #000000;
}
.menu {
      padding-right: 20px;
}
li {
      font-family: "Courier New", Courier, mono;
      font-size: 12px;
      font-weight: normal;
}