diff -r 24b4923125c5 -r 08d57b273596 src/cm/media/js/client/c_toc.js --- a/src/cm/media/js/client/c_toc.js Mon Oct 01 10:48:23 2012 +0200 +++ b/src/cm/media/js/client/c_toc.js Mon Oct 01 11:00:56 2012 +0200 @@ -17,7 +17,7 @@ if (toBeTOCced.length >= 2) { for (var i=0;i]*>/g,''); + tmp.innerHTML = toBeTOCced[i].innerHTML.replace(/<\/?a[^>]*>/ig,''); tmp.className = 'page indent' + toBeTOCced[i].nodeName; content.appendChild(tmp); var headerId = toBeTOCced[i].id || 'link' + i;