function highlightAll(){var allCodes = document.getElementsByTagName("code");for(var i = 0;i < allCodes.length;i++){allCodes[i].className = "code";allCodes[i].innerHTML = highlight(allCodes[i].innerHTML)}