body { margin: 10pt; max-width: 50em; color: black; background-color: #eee; font-family: Arial, Helvetica, sans-serif; }
p, h2, ul, ol, table { margin: 10pt; }
p, li { line-height: 1.6em; font-size: 12pt; }
ul { padding-left: 20pt; }
h1 { font-size: 16pt; background-color: #377; color: white; border-radius: 8pt; margin: 10pt 0 10pt 0; padding: 10pt; }
h2 { font-size: 14pt; }
hr { border: 0; height: 2px; color: #ddd; background-color: #ddd; }
table { border: none; padding: none; }
td { padding-left: 5pt; padding-top: 5pt; }
@media (prefers-color-scheme: dark) {
 body { background-color: #1E1F21; color: #EEEFF1; }
 :link { color: #BAD7FF; }
 :visited { color: #F6BAFF; }
 hr { color: #444; background-color: #444; }
}
img.diamond { border: none; vertical-align: middle; float: right; width: 18pt; height: 18pt; }
.error { background-color: #b44; }