<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">* { font-family: sans-serif }
tt { font-family: monospace }
body { max-width: 60em; margin: 1em auto 1em; font-size: 10.3pt }
h1, h2 { font-weight: normal; color: #409; }
a { color: #409 }
h1 { margin-bottom: 0 }
h1.subtitle { font-size: 1.6em; margin-top: 0 }
h1 { font-size: 2em; }
h2 { font-size: 1.3em; }
ul { list-style-type: none; padding: 0 }

h2 { border-bottom: 1px dotted #409; }

span.change { color: red }

p { margin-top: .5em; margin-bottom: .5em }
</pre></body></html>