/* @option user-selected menu font */

#navcontainer a {
	font-family: 'Trebuchet MS', Helvetica, sans-serif;
}