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