var links = ["home", "research", "papers", "media",
             "software", "help", "people"]

function highlightPage(page) {
  for (i in links) {
    if (links[i] == page) {
      $("#" + links[i]).addClass("header-selected")
    } else {
      $("#" + links[i]).removeClass("header-selected")
    }
  }
}