*{box-sizing:border-box}body{font-family:'Space Mono',monospace;font-size:11px}