function displaySearch() {
    document.getElementById("searchBox").getAttribute("style") = "";
}
function suggestTerm(term) {
    if (term.length == 0) {
        document.getElementById("linkSearch").innerHTML = "(no suggestions)";
        return;
    }
    var patt1 = new RegExp(term.toLowerCase());
    var i = 0;
    var defTerms = document.getElementsByTagName("dt").length;
    for (i = 0; i < defTerms; i++) {
        var j = ((defTerms - 1) - i);
        if (patt1.test((document.getElementsByTagName("dt")[j].innerHTML).toLowerCase())) {            
            document.getElementById("linkSearch").innerHTML = (" <a href=\"#" + document.getElementsByTagName("dt")[j].attributes["id"].nodeValue + "\">" + document.getElementsByTagName("dt")[j].innerHTML + " &raquo;</a>");
        }   
    }
}