

<!--


// Pulldown menu workaround for IE, which doesn't fully support
// the :hover pseudo class
sfHover = function() {
   var sfEls = document.getElementById("nav").getElementsByTagName("li");
   for (var i = 0; i < sfEls.length; i++) {
      sfEls[i].onmouseover = function() {
         this.className += " sfhover";
      }
      sfEls[i].onmouseout = function() {
         this.className = this.className.replace(new RegExp(" sfhover\\b"), "");
      }
   }
}
if (window.attachEvent) window.attachEvent("onload", sfHover);



// function to preload images
jQuery.preloadImages = function() {
   for(var i = 0; i < arguments.length; i++) {
      jQuery("<img>").attr("src", arguments[i]);
   }
}



// preload misc layout images
$.preloadImages (
   "/style/images/masthead.gif",
   "/style/images/google_cse_watermark.gif",
   "/style/images/menu_gradient-blue.gif",
   "/style/images/menu_gradient-red.gif",
   "/style/images/menu_gradient-grey.gif"
);



// preload the "hover" images
$.preloadImages (
   "/style/images/previous_hover.gif",
   "/style/images/next_hover.gif"
)



// function for image rollovers
$(
   function() {
      $("img.rollover").hover(
         function() {
            this.src = this.src.replace("_off", "_hover");
         },
         function() {
            this.src = this.src.replace("_hover", "_off");
         }
      );
   }
)


// -->


