function setHighlight(id, show)
{

  var divs = document.getElementsByTagName('div')

  for (var i = 0; i < divs.length; i++)
  {
    div = divs[i]
    if ((div.getAttribute('id') != null)
        && (div.getAttribute('id').indexOf(id) == 0))
    {
      if (show)
      {
        div.className = 'pageLinkHover'
      }
      else
      {
        div.className = 'pageLink'
      }
    }
  }
}

$(function(){
	// No javascript? Horror.
	$(".launchPopover").show();
	
	// Offset for iOS is broken in jquery. Use this fix. 
	if( parseFloat(((/CPU.+OS ([0-9_]{3}).*AppleWebkit.*Mobile/i.exec(navigator.userAgent)) || [0,'4_2'])[1].replace('_','.')) < 4.1) {
		   $.fn.Oldoffset = $.fn.offset;
		   $.fn.offset = function() {
		      var result = $(this).Oldoffset();
		      result.top -= window.scrollY;
		      result.left -= window.scrollX;

		      return result;
		   }
		}
	
	// Needed to make windows close with iOS.
	$('#header, #content, #footer').click(function(){
		void(0);
	});
	
	$('.launchPopover').popover();
});