html{font-family:Arial,Helvetica,sans-serif}pre{white-space:pre-wrap}