body{font-family:system-ui,sans-serif;max-width:40rem;margin:2rem auto;padding:0 1rem;color:#16191c}
a{color:#0f766e}nav a{margin-right:1rem}pre{white-space:pre-wrap}