/* @option user-selected menu font */

#navcontainer a {
	font-family: "Lucida Grande","Lucida Sans Unicode", helvetica, verdana, arial, sans-serif;
}