(function($) { 
  $(function() {
    prettyPrint();
  });
})(jQuery);;