body {
	margin-left: auto;
	margin-right: auto;
	margin-top: 7em;
	width: 50em;
	font-size: 90%;
}

h1 {
	color: rgb(100,100,100);
	font-family: "Gill Sans", sans-serif;
	font-weight: bold;
}

p {
	font-family: "Lucida Grande", sans-serif;
	line-height: 1.4em;
}
dl {
	font-family: "Lucida Grande", sans-serif;
}
dt {
	margin-top:  1em;
}
dd {
	font-size: 85%;
}
address {
	font-family: monospace;
	font-style: normal;
}