body { font-size:100%; font-family:serif; }
span.title { font-weight:bold; font-size:1.2em; }
span.head { font-weight:bold; }
span.subhead { font-style:italic; }
span.intro { font-style:italic; }
span.hi { background-color:yellow; }
a.pt { font-family:monospace; font-size:1.1em; text-decoration:none; }
div.prftxts { display:none; }
sup { display:none; }
table { border-collapse:collapse; font-size:inherit; }
td { border: 1px solid silver; padding: 8px; }
div.prftxts { display:inline; }
div.indent { margin-left:30px;margin-right:30px;margin-top:0px;margin-bottom:16px }
@media (prefers-color-scheme: light) {
	html { background: white; color: black; }
	a { color:#0080ff; }
}
@media (prefers-color-scheme: dark) {
	html { background: black; color: white; }
	a { color:#0080ff; }
}