*{box-sizing:border-box}body{margin:0}dt{font-weight:600;margin-top:.5rem}dd{margin:0 0 .25rem}code{background:#f3f3f3;padding:.1rem .3rem;border-radius:4px}