html {
	font-family: "Times New Roman", Times, serif;
}
#nav_font {
	font-family: "Times New Roman", Times, serif;
}