/* --------------------------------------------------------------------------------
   Make sure links that just have "#" at the end of their hrefs don't do anything.
   -------------------------------------------------------------------------------- */

$(document).ready(function() {

    $("a").click(
      function(){
		s = this.href;
		c = s.charAt(s.length-1);
		if (c == "#")
			return false;
      }
    );

});

/* --------------------------------------------------------------------------------
   TODO: explain
   -------------------------------------------------------------------------------- */
   
if (document.images) 
{
	download_on  = new Image(); download_on.src  = "/images/buttons/download1.png"; 
	download_off = new Image(); download_off.src = "/images/buttons/download0.png"; 

	coupon_on  = new Image(); coupon_on.src  = "/images/buttons/coupon1.png"; 
	coupon_off = new Image(); coupon_off.src = "/images/buttons/coupon0.png"; 

}

function downloadOver() { if (document.images) document.download.src = download_on.src; }
function downloadOut() { if (document.images) document.download.src = download_off.src; }

function couponOver() { if (document.images) document.coupon.src = coupon_on.src; }
function couponOut() { if (document.images) document.coupon.src = coupon_off.src; }