body{font-family:system-ui,sans-serif;margin:2rem}button{margin:.25rem;padding:.5rem .75rem}pre{background:#f4f4f4;padding:1rem}