function alignSymbols() {
  //var offset = 493;
  //var offset = 578;
  var offset = 607;
  var browser = navigator.appName;
  if( browser.search('Microsoft') != -1 ) {
    // exploder
    //offset = 585;
    offset = 615;
  }
  // figure out where the bottom of the content section is
  var c = document.getElementById("content");
  //var f = document.getElementById("footer");
  var s = document.getElementById("menu-bottom");
  //alert(c.scrollHeight);
  s.style.paddingTop = (c.scrollHeight-offset)+"px";
}

function menuOver(x) {
  x.style.background = "url('widgets/menu-highlight.png')";
}
function menuOut(x) {
  x.style.background = "url('widgets/menu-background.png')";
}