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

body {
	font-family: Georgia, georgia, serif;
}