html {
	font-family: georgia, "times new roman", times;
}
#nav_font {
	font-family: georgia, "times new roman", times;
}