BODY {
	MARGIN: 0.5in; FONT-FAMILY: Times, serif
}
P {
	FONT-SIZE: 12pt
}
#horiznav UL {
	DISPLAY: none; VISIBILITY: hidden
}
#contents {
	FONT-FAMILY: georgia, Times, serif
}
A:link:unknown {
	content: " (" attr(href) ") "
}