//window.onload = function(){//にスクリプトを配置する場合は行先頭のコメントアウトを外す if(document.getElementById && document.all && !navigator.userAgent.match(/Opera/)){ var obj = document.getElementById("root_toc"); for(var i=0;iにスクリプトを配置する場合は行先頭のコメントアウトを外す function pull(obj){ for(var i=0;i