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