body{font-family:monospace;font-size:15px;}
article{margin:auto;max-width:600px;}
pre{white-space:pre-wrap;}