body {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 120%;
	z-index: auto;
	height: auto;
	width: auto;
	left: auto;
	top: auto;
	right: auto;
	bottom: auto;
	clip: rect(auto,auto,auto,auto);
}
h1 {
	font-size: 125%;
}