body { font-family: "Lucida Grande", "Lucida Sans Unicode", "Arial", "Verdana", "sans-serif"; font-size: 12px; background-color: #f7f7f7; color: #333; }
.maintext { font-family: "Lucida Grande", "Lucida Sans Unicode", "Arial", "Verdana", "sans-serif"; font-size: 14px; }
.smalltext {font-family: "Lucida Grande", "Lucida Sans Unicode", "Arial", "Verdana", "sans-serif"; font-size: 12px; }
.bigtext { font-family: "Lucida Grande", "Lucida Sans Unicode", "Arial", "Verdana", "sans-serif"; font-size: 18px; }
.SMALLER { font-family: "Lucida Grande", "Lucida Sans Unicode", "Arial", "Verdana", "sans-serif"; font-size: 80%; }

A.submenulink {
  text-decoration : none;
}

A.submenulink:hover {
	text-decoration : underline;	
}