<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">.main {
	font-family: "Times New Roman", Times, serif;
	font-size: medium;
}
.links {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
}
</pre></body></html>