<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body { margin-left: 3em; font-family: arial, sans-serif; }
h1 { font-family: sans-serif; }
a { font-weight: bold; }
p { margin-left: 0.7em; }
pre { padding: 1.5em; border: 1px solid #000000; margin: 0.7em; }
pre a { font-weight: normal; }
strong { color: #003050; }
div.copyright { font-size: 0.95em; color: #202030; }
address { border-top: 2px solid #a0a0b0; padding-top: 0.35em; }
span.u { text-decoration: underline; }</pre></body></html>