function selectLocale(locale, node) {
    // switch the TRs
    var trs = document.getElementsByTagName("tr");
    for (var i = 0; i < trs.length; ++i) {
        var tr = trs[i];
        var trClassName = tr.className;
        if (trClassName == "locale_" + locale) {
            tr.style.display = "";
        }
        else if (trClassName.substring(0, 7) == "locale_") {
            tr.style.display = "none";
        }
    }

    // set the styles
    node.className = "selected";
    var child = node.previousSibling;
    while (child != null) {
        if (child.tagName == "A") {
            child.className = "";
        }
        child = child.previousSibling;
    }
    child = node.nextSibling;
    while (child != null) {
        if (child.tagName == "A") {
            child.className = "";
        }
        child = child.nextSibling;
    }
}