// Copyright 2007 Hans-Thomas Mueller
// Distributed under the terms of the GNU General Public License v2
//=============================================================================
//   external.js --- fix external links
//=============================================================================

function externalLinks() {
    forEach(currentDocument().getElementsByTagName('a'),
        function(a) {
            if (a.getAttribute("href") && a.getAttribute("rel") == "external")
                a.target = "_blank";
    });
}
addLoadEvent(externalLinks);

//.............................................................................
//   external.js