body {
	font-size: 12px;
	}
h1 {
	font-size: 250%; 
	font-family: Times, serif;
	margin: 0 0 1.5ex; 
	padding: 0 0 0.5ex 0 }