body {
	font-family: Times;
	font-size: small;
}