function togglecategories() {
  var d=document.getElementById("catdiv");
  var s=document.getElementById("catlnk");
  if (d.style.display=="block") {
    d.style.display="none";
    s.innerHTML="Show All Categories »";
  } else {
    d.style.display="block";
    s.innerHTML="« Hide All Categories";
  }
}