span.ajmainmenu {
	text-decoration : none; font-variant:small-caps; font-size:8 pt; font-family:Times New Roman}

.ajsubmenu {
	font : 8 pt Times New Roman;
	text-decoration : none;
}

.s_submenu {
	font : bold 8 pt Times New Roman;
	text-decoration : none;
}