if this page is still broken, paste this into the url bar: javascript: document.body.innerHTML=document.body.innerHTML+"<style>pre { white-space: pre-wrap; }</

if this page is still broken, paste this into the url bar: javascript: document.body.innerHTML=document.body.innerHTML+"<style>pre { white-space: pre-wrap; }</style>"; (Sorry, double comment, I think I messed something up while messing with this. Also, it kills most of the current style. Anyone have a better variant? Might be good to have as a bookmarklet.)