/* For implementing the red navigation button. */
function NavMouseOut(id) {
  var element = document.getElementById(id);
  element.style.backgroundImage = 'url("http://rswgame.com/images/navbutton_red.png")';
}
function NavMouseOver(id) {
  var element = document.getElementById(id);
  element.style.backgroundImage = 'url("http://rswgame.com/images/navbutton_blue.png")';
}
function NavMouseDown(id) {
  var element = document.getElementById(id);
  element.style.backgroundImage = 'url("http://rswgame.com/images/navbutton_magenta.png")';
}
function NavClick(id, url) {
  NavMouseOut(id);
  document.location = url;
}

/* For implementing the selectable frame. */
function FrameMouseOut(id) {
  for (var r = 1; r <= 3; ++r) {
    for (var c = 1; c <= 3; ++c) {
      var element = document.getElementById(id + '_' + r + '_' + c);
      var url = 
      element.style.backgroundImage = 'url("http://rswgame.com/images/navbar_' + r + '_' + c + '.png")';
    }
  }
}
function FrameMouseOver(id) {
  for (var r = 1; r <= 3; ++r) {
    for (var c = 1; c <= 3; ++c) {
      var element = document.getElementById(id + '_' + r + '_' + c);
      element.style.backgroundImage = 'url("http://rswgame.com/images/navbar_hilight_' + r + '_' + c + '.png")';
    }
  }
}
function FrameMouseDown(id) {
  FrameMouseOut(id);
}
function FrameClick(id, url) {
  FrameMouseOut(id);
  document.location = url;
}

/* For implementing +/- folding-display icon. */
function ShowLabel(prefix, event) {
    var hideName = prefix + '_hide';
    var showName = prefix + '_show';
    
    document.getElementById(hideName).style.display = 'none';
    document.getElementById(showName).style.display = 'block';

    /* Don't propagate the click event to a parent element, for
       W3C-compliant and for IE browsers. */
    if (typeof event.stopPropagation != 'undefined') {
      event.stopPropagation();
    }
    if (typeof event.cancelBubble != 'undefined') {
      event.cancelBubble = true;
    }
}
function HideLabel(prefix, event) {
    var hideName = prefix + '_hide';
    var showName = prefix + '_show';
    
    document.getElementById(hideName).style.display = 'block';
    document.getElementById(showName).style.display = 'none';

    /* Don't propagate the click event to a parent element, for
       W3C-compliant and for IE browsers. */
    if (typeof event.stopPropagation != 'undefined') {
      event.stopPropagation();
    }
    if (typeof event.cancelBubble != 'undefined') {
      event.cancelBubble = true;
    }
}