/* CSS Document */


.hovermenu ul{
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	padding-left: 0;
	margin-left: 0;
	height: 20px;
}

.hovermenu ul li{
list-style: none;
display: inline;
}

.hovermenu ul li a{
padding: 1px 0.4em;
float: left;
color: black;
background-color: #ddfffe;
border: 2px solid #ddfffe;
}

.hovermenu ul li a:hover{
text-decoration: none;
background-color: #88eeee;
border-style: outset;
}

html body .hovermenu ul li a:active{ /* Apply mousedown effect only to NON IE browsers */
border-style: inset;
}


body,td,th, pre {
	font-family: Times New Roman, Times, serif;
	font-size: 18px;
}
p, li {
	font-family: Times New Roman, Times, serif;
	font-size: 18px;
}

.style2 {
	font-size: 16px;
	font-weight: bold;
}
.style3 {font-size: 10px}
.normal {font-size: 12px; }
.redhead {	font-family: Times New Roman, Times, serif;
	font-size: 18px;
	color: 980814;
	font-weight: bold;
}
.style4 {
	font-style: italic;
	font-weight: bold;
a {
	font-family: Times New Roman, Times, serif;
	font-size: 14px;
	color: #000066;
}
a:visited {
	color: #004466;
}

.title {
	font-size: 24px;
}

.titlebold {
	font-size: 24px;
	font-weight: bold;
}

.titleitalic {
	font-size: 24px;
	font-style: italic;
}

.tib {
	font-size: 24px;
	font-weight: bold;
	font-style: italic;
}

.title2 {
	font-size: 20px;
}

.titlebold2 {
	font-size: 20px;
	font-weight: bold;
}

.titleitalic2 {
	font-size: 20px;
	font-weight: bold;
	font-style: italic;
}