p.fineprint {
	font: 8pt;
}

h1.ex {
	border: solid black;
	color: green;
	align: middle;
}

span.first {
	font: large;
	font: bold;
}

span.sc {
	font-variant: small-caps;
	font: bold;
}

dt.sc {
	font-variant: small-caps;
	font: bold;
}

A:active, A:link, A:visited {
	color: Blue;
	text-decoration: none;
}

A:hover {
	color: Gray;
}

A.button:active, A.button:link, A.button:visited {
	color: Blue;
	text-decoration: underline;
}

A.button:hover {
	color: Gray;
}