equal
deleted
inserted
replaced
15 |
15 |
16 var content = document.createElement('div'); |
16 var content = document.createElement('div'); |
17 if (toBeTOCced.length >= 2) { |
17 if (toBeTOCced.length >= 2) { |
18 for (var i=0;i<toBeTOCced.length;i++) { |
18 for (var i=0;i<toBeTOCced.length;i++) { |
19 var tmp = document.createElement('a'); |
19 var tmp = document.createElement('a'); |
20 tmp.innerHTML = toBeTOCced[i].innerHTML.replace(/<\/?a[^>]*>/g,''); |
20 tmp.innerHTML = toBeTOCced[i].innerHTML.replace(/<\/?a[^>]*>/ig,''); |
21 tmp.className = 'page indent' + toBeTOCced[i].nodeName; |
21 tmp.className = 'page indent' + toBeTOCced[i].nodeName; |
22 content.appendChild(tmp); |
22 content.appendChild(tmp); |
23 var headerId = toBeTOCced[i].id || 'link' + i; |
23 var headerId = toBeTOCced[i].id || 'link' + i; |
24 tmp.href = '#' + headerId; |
24 tmp.href = '#' + headerId; |
25 toBeTOCced[i].id = headerId; |
25 toBeTOCced[i].id = headerId; |