body,html{margin:0;padding:0}pre{margin-bottom:0;overflow-x:auto}