body { font-family: system-ui, sans-serif; background: #f5f6f8; color: #1d2433; margin: 0; }
main { max-width: 640px; margin: 48px auto; padding: 0 16px; }
h1 { color: #2a5bd7; }
dt { font-weight: 600; margin-top: 8px; }
dd { margin: 0; font-family: ui-monospace, monospace; }
#js.ok { color: #1a7f37; }