// IE7対策. IE7以外はoverflowを付ける。
// IE7だけでいい？
function src_fix_overflow() {
  if (navigator.appVersion.indexOf("MSIE 7.0") == -1) {
    var list = document.getElementsByClassName("source");
    for (var i = 0; i < list.length; i++) {
      list[i].style.overflow = "auto";
    }
  }
}

function src_popup(id) {
  var e = document.getElementById(id);
  var w = window.open("#", "source", "width=480,height=360,resizable=yes");
  w.document.write("<pre>");
  for (var i = 0; i < e.childNodes.length; i++) {
    if (e.childNodes.item(i).nodeType == 1) {
      w.document.write(e.childNodes.item(i).innerHTML);
      w.document.write("\n");
    }
  }
  w.document.close();
}