$(function(){
  highlight(undefined, undefined, 'pre');
});