body {
	font-size: 14px;
	font-family: Verdana;
	/* (The background color is specified elsewhere, so do a global replacement if it ever changes) */
	background-repeat: no-repeat;
	background-position: top center;
	background-color: #FFFFFF;
}

p,td {
	font-size: 14px;
	font-family: Verdana;
	font-weight: normal;
	color: #000000;
}

h1 {
	font-family: Verdana;
	font-size: 24px;
	color: #0000FF;
}

.txt {
	font-size: 14px;
	font-family: Verdana;
	font-weight: normal;
	text-align: justify;
}

.menuitem {
	text-decoration: none;
	font-family: Verdana;
	font-size: 16px;
	font-weight: bold;
	color: #FFFFFF;
	background-color: #0000FF;
	border: solid 1px #000000;
}

A.menulink:link,A.menulink:visited {
	display: block; 
	text-decoration: none;
	font-family: Verdana;
	font-size: 16px;
	font-weight: bold;
	color: #FFFFFF;
	BORDER: none;
}

A.menulink:hover {
	text-decoration: none;
	font-family: Verdana;
	font-size: 16px;
	font-weight: bold;
	color: #FFFFFF;
	/* border: solid 1px #000000; */
	background-color:#FF0000;
}

a:link,a:visited {
	color: #0000FF;
	font-weight: bold;
	text-decoration: none;
}

a:hover {
	color: #FF0000;
	font-weight: bold;
	text-decoration: underline;
}

td.noJS {
	border: 1px solid #A00000;
	padding: 5px;
	background: #FAAAAA;
	color: #FF0000;
}

td.gotJS {
	border: 1px solid #00A000;
	padding: 5px;
	background: #AAFAAA;
	color: #00A000;
}