jQuery(document).ready(function() {
  prettyPrint();
});