/* @option theme content font */

body {
	font-family: Georgia, serif;
}