07/04/14 12:35:37
IEに対応できない問題に対応。innerHTMLをouterHTMLに置き換えたところ、
動作しました。ただ、innerHTMLでは今度はFirefoxで動作しなくなるので、
ブラウザの場合分けも追加して>>792のスクリプトを
次のようにリファクタリングしました。
<script type="text/javascript"><!--
if(typeof(ScriptEngine) == 'function') {
//IE
element = document.getElementById('toc').outerHTML;
element2 = document.getElementById('toc');
element2.outerHTML = element.replace(/[1-9]\./g,"");
} else {
element = document.getElementById('toc').innerHTML;
element2 = document.getElementById('toc');
element2.innerHTML = element.replace(/[1-9]\./g,"");
}
// --></script>