// JavaScript Document

//クリックしたときのラインの消去
//bodyタグのところの記述と一緒に
function disable_links_outline() {
    var blur = function () { this.blur() };
    for (var i = 0; i < document.links.length; i++)
        document.links[i].onfocus = blur;
}