body { max-width: 52em; margin: 2em auto; padding: 0 1em;
  font-family: system-ui, sans-serif; line-height: 1.45; color: #222; background: #fff; }
@media (prefers-color-scheme: dark) { body { color: #ddd; background: #1d1f21; } a { color: #8ab4f8; } }
pre { white-space: pre-wrap; overflow-wrap: anywhere; }
table.head, table.foot { width: 100%; opacity: 0.7; }
td.head-rtitle, td.foot-os { text-align: right; }
td.head-vol { text-align: center; }
h1.Sh { font-size: 1.1em; margin-top: 1.6em; }
h2.Ss { font-size: 1em; }
dt { font-weight: normal; margin-top: 0.6em; }
dd { margin-left: 2.5em; }