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

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