Im trying to get pretty.js to prettify code in CODE tags, using this js: onload_functions.push(function() { var node_list=document.getElementsByTagName('code'); for (i=0; i
