/* @option user-selected navigation font face */

#nav, #megamenu, #extraContent2 {
	font-family: Georgia, georgia, serif;
}