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

body {
	font-family: "Hoefler Text", Hoefler, "Times New Roman", Times, serif;
}