A:link {
	COLOR: #0000FF;
}
A:visited { 
COLOR: #AA00AA; 
}
A:hover {
	background-color: #FFFFCC;
}
.menusup {
	background-color: #83f8a4;
	cursor: default;
	font-family: Arial, Helvetica, sans-serif;
	font-size: medium;
	font-style: normal;
	line-height: normal;
	font-weight: bold;
	font-variant: normal;
	text-transform: none;
	position: relative;
	top: auto;
}
.content {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
	font-style: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	position: relative;
	left: auto;
	top: auto;
	right: auto;
	bottom: auto;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: x-large;
	font-style: normal;
	line-height: normal;
	font-weight: bold;
	font-variant: normal;
	text-transform: none;
	color: #0000FF;
}
h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: large;
	font-style: normal;
	line-height: normal;
	font-weight: bold;
	font-variant: normal;
	text-transform: none;
	color: #0000FF;
}
.annotation {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
}
body {
	background-color: #def3e5;
}
p {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	color: #000000;
}
.menuinf {
	background-color: #83f8a4;
	cursor: default;
	font-family: Arial, Helvetica, sans-serif;
	font-size: small;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	position: relative;
	top: auto;
}
.destak {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	background-color: #FFFFCC;
}
.max {
	font-family: "Times New Roman", Times, serif;
        background-color: #FFFFCC;
}
.config {
	font-family: "Courier New", Courier, mono;
	font-size: medium;
	font-style: normal;
	line-height: normal;
	font-weight: normal;
	font-variant: normal;
	text-transform: none;
	color: #00FF00;
	background-color: #000000;
}