(function() { var counter = 0; var numbered; var source = document.getElementsByClassName('prettyprint source'); if (source && source[0]) { var linenums = config.linenums; if (linenums) { source = source[0].getElementsByTagName('ol')[0]; numbered = Array.prototype.slice.apply(source.children); numbered = numbered.map(function(item) { counter++; item.id = 'line' + counter; }); } else { source = source[0].getElementsByTagName('code')[0]; numbered = source.innerHTML.split('\n'); numbered = numbered.map(function(item) { counter++; return '' + item; }); source.innerHTML = numbered.join('\n'); } } })();