title: How to specify a font from javascript?
body: <p>I am trying to customize a view-src bookmarklet for iPad. <a href="http://www.frankfiedler.de/2010/12/iphone-show-source/" rel="nofollow">This one</a> is looking pretty good so far. </p>
  
  <p>But I want to make it just a little more readable: The Courier (New) font is a bit ugly even (especially?) on the retina display and I'd prefer any one of DejaVu Sans Mono, Monaco, Lucida Console, Bitstream Vera Sans Mono. </p>
  
  <p>I tried to modify the bookmarklet script by adding: </p>
  
  <pre><code>pre.style.fontFamily = '"DejaVu Sans Mono", "Lucida Console", Monaco;';
  </code></pre>
  
  <p>It's not doing the trick. </p>
  
  <p>Perhaps prettyprint cancels out my fontFamily setting when it loads. Maybe I can set it at the end of the script somehow... </p>