.nav {
	FONT-WEIGHT: bold; FONT-SIZE: 80%; COLOR: #000000; FONT-STYLE: normal; FONT-FAMILY: Verdana, arial; FONT-VARIANT: normal
}
A.nav {
	COLOR: #000000; TEXT-DECORATION: none
}
A.nav:visited {
	COLOR: #000000; TEXT-DECORATION: none
}
A.nav:hover {
	COLOR: #000000; TEXT-DECORATION: underline
}
.navdivider {
	COLOR: #808080
}
#navheight {
	HEIGHT: 25px
}