*{box-sizing:border-box}body{margin:0;font-family:monospace;background:#f4f4f4}h1,h2,h3{margin:0 0 8px}pre{margin:0;white-space:pre-wrap}