function styleLN() { var isIE = navigator.appName.indexOf('Microsoft') != -1; if (isIE) return; var preElems = document.getElementsByTagName('pre'); if (0 == preElems.length) { // no pre elements; stop return; } for (var i = 0; i < preElems.length; i++) { var pre = preElems[i]; var code = pre.getElementsByTagName('code')[0]; if (null == code) { // no code; move on continue; } var oldContent = code.innerHTML; var newContent = oldContent.replace(/^( *)(\d+):( )/mg, '$1$2$3<' + '/span>'); if (oldContent.match(/^( *)(\d+):( )/mg)) { newContent += "\n" + ''; } code.innerHTML = newContent; } } function showCode(code) { var oldCode = code.cloneNode(true); for (var i=0; iCode
", oldCode.innerHTML, "
"); d.close(); }