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

body {
	font-family: 'Times New Roman', Times, serif;
}