body{margin:0}pre{white-space:pre;overflow-x:auto}