<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
	font-family: helvetica, arial;
	font-size: 12px;
}

dl {
	margin-left: 10px;
	margin-right: 10px;
}

dt
{
	font-weight: bold;
	margin-bottom: 5px;
	border-color: #999;
	border-width: 1px 0 0 0;
	border-style: solid;
}

dd
{
	margin-bottom: 15px;
}

a {
	color: #009933;
}

h1 {
	color: red;
	font-size: 48px;
	font-family: Palatino, New York, Times New Roman, Times, Courier;
	text-align: center;
}</pre></body></html>