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

#nav, #megamenu, #megamenuStack, #shakeNav, #splitNav, #blockNav {
	font-family: "Hoefler Text", Hoefler, "Times New Roman", Times, serif;
}