jQuery(function($) {
  $("code").addClass("prettyprint");
  prettyPrint();
});