function ShowDef(elem, term, def) {
    var name;

    document.getElementById("Literal_Term").innerHTML = term;
    document.getElementById("Literal_Def").innerHTML = def;
    for (var i = 1; i < 92; i++) {
        name = "a" + i;
        document.getElementById(name).style.color = "#666666";
    }
    elem.style.color = "#E05206";

}