.className = "highlight";.setAttribute("class", "highlight");

document.getElementById("top").innerHTML = newHTML;

document.getElementById("contact").className = "highlight";
document.getElementById("about").setAttribute("class", "highlight");