Adding jQuery to Google Prettify

I've spent some time this evening to make Google Prettify support jQuery. Results are good, as you can see below:

jQuery(document).ready(function() {

  $('#test').addClass('test').animate({
    opacity: 0
  }, 1000, function() {

     $(this).removeClass('test');
  }

});

You have only to add the class lang-jquery to your target element which already has the prettyprint class. You can download the lang-jquery.js file here. Remember that this file must come after the main Prettify file.