body {
	font-family: serif; font-size: 10pt;
}