$( document ).ready(function() {
      // PrettyPrint
      $('pre').addClass('prettyprint');
      prettyPrint();
  });