function disable_links_outline() {
    var blur = function () { this.blur() };
    for (var i = 0; i < document.links.length; i++)
        document.links[i].onfocus = blur;
}