function setDefaultFocus()
{
  $(function() {
    $(".default:first").focus();
  });
}



//convert any timestamps tagged with "timestamp" class to the local timezone
$(function() {
  
  var parseISO8601 = function (timestamp)
  {
    var regex = new RegExp("^([\\d]{4})-([\\d]{2})-([\\d]{2})T([\\d]{2}):([\\d]{2}):([\\d]{2})([\\+\\-])([\\d]{2}):([\\d]{2})$");
    var matches = regex.exec(timestamp);
    if(matches != null)
    {
      var offset = parseInt(matches[8], 10) * 60 + parseInt(matches[9], 10);
      if(matches[7] == "-")
        offset = -offset;
      
      return new Date(
        Date.UTC(
          parseInt(matches[1], 10),
          parseInt(matches[2], 10) - 1,
          parseInt(matches[3], 10),
          parseInt(matches[4], 10),
          parseInt(matches[5], 10),
          parseInt(matches[6], 10)
        ) - offset*60*1000
      );
    }
    return null;
  }
  
  var weekDays = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
  var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
  
  var toLocalTime = function(date)
  {
    var hour = date.getHours();
    var ampm = (hour < 12 ? "am" : "pm");
    if (hour == 0)
      hour = 12;
    else if (hour > 12)
      hour -= 12;
    
    var minutes = date.getMinutes();
    if(minutes < 10)
      minutes = "0" + minutes;
    
    return weekDays[date.getDay()] + ", "
         + months[date.getMonth()] + " "
         + date.getDate()          + ", "
         + date.getFullYear()      + " at "
         + hour                    + ":"
         + minutes                 + " "
         + ampm     /*+ " (local time)"*/;
  }
  
  //-------------------------------
  
  $("abbr.datetime").each(function() {
    var timestamp = $(this).attr("title");
    
    var date = parseISO8601(timestamp);
    if(date != null)
    {
      //generates an exception in IE6..
      try { $(this).html(toLocalTime(date)); }
      catch(e) { }
    }
  });
  
});

//convert footnote hovertext to more stylish javascript
$(function() {
  var opacity = 0.8;
  var fadeTime = 550;
  var $footnoteTooltip = $('<div id="footnote-tooltip"></div>').appendTo('body');
  
  $('.footnote[id^="ret_"]')
    .removeAttr('title')
    .mouseenter(function(e) {
      var footnote = $('#footnote_cont_' + this.id.substring(4)).html();
  
      $footnoteTooltip.stop(true, false);
      //only completely hide and change text/position if we are hovering over a different footnote
      if($footnoteTooltip.html() != footnote)
        $footnoteTooltip.hide().html(footnote).css({ left: e.pageX + 10, top: e.pageY + 15});
  
      $footnoteTooltip.fadeTo(fadeTime, opacity);
    })
    .mouseleave(function() {
      $footnoteTooltip.delay(fadeTime).fadeOut(fadeTime);
    })
  ;
  
  //prevent tooltip from hiding when moused over
  $footnoteTooltip.mouseenter(function() {
    $footnoteTooltip.stop(true, false).fadeTo(fadeTime, opacity);
  }).mouseleave(function() {
    $footnoteTooltip.delay(fadeTime).fadeOut(fadeTime);
  });
});

//make video tags work on Android
if(navigator.userAgent.match(/Android/i))
{
  $(function(){
    $('video>source[src$=mp4]').removeAttr('type');
    $('video').click(function(){
      this.play();
    });
  });
}





/**
 * Cookie plugin
 *
 * Copyright (c) 2006 Klaus Hartl (stilbuero.de)
 * Dual licensed under the MIT and GPL licenses:
 * http://www.opensource.org/licenses/mit-license.php
 * http://www.gnu.org/licenses/gpl.html
 *
 */

/**
 * Create a cookie with the given name and value and other optional parameters.
 *
 * @example $.cookie('the_cookie', 'the_value');
 * @desc Set the value of a cookie.
 * @example $.cookie('the_cookie', 'the_value', { expires: 7, path: '/', domain: 'jquery.com', secure: true });
 * @desc Create a cookie with all available options.
 * @example $.cookie('the_cookie', 'the_value');
 * @desc Create a session cookie.
 * @example $.cookie('the_cookie', null);
 * @desc Delete a cookie by passing null as value. Keep in mind that you have to use the same path and domain
 *       used when the cookie was set.
 *
 * @param String name The name of the cookie.
 * @param String value The value of the cookie.
 * @param Object options An object literal containing key/value pairs to provide optional cookie attributes.
 * @option Number|Date expires Either an integer specifying the expiration date from now on in days or a Date object.
 *                             If a negative value is specified (e.g. a date in the past), the cookie will be deleted.
 *                             If set to null or omitted, the cookie will be a session cookie and will not be retained
 *                             when the the browser exits.
 * @option String path The value of the path atribute of the cookie (default: path of page that created the cookie).
 * @option String domain The value of the domain attribute of the cookie (default: domain of page that created the cookie).
 * @option Boolean secure If true, the secure attribute of the cookie will be set and the cookie transmission will
 *                        require a secure protocol (like HTTPS).
 * @type undefined
 *
 * @name $.cookie
 * @cat Plugins/Cookie
 * @author Klaus Hartl/klaus.hartl@stilbuero.de
 */

/**
 * Get the value of a cookie with the given name.
 *
 * @example $.cookie('the_cookie');
 * @desc Get the value of a cookie.
 *
 * @param String name The name of the cookie.
 * @return The value of the cookie.
 * @type String
 *
 * @name $.cookie
 * @cat Plugins/Cookie
 * @author Klaus Hartl/klaus.hartl@stilbuero.de
 */
jQuery.cookie = function(name, value, options) {
    if (typeof value != 'undefined') { // name and value given, set cookie
        options = options || {};
        if (value === null) {
            value = '';
            options.expires = -1;
        }
        var expires = '';
        if (options.expires && (typeof options.expires == 'number' || options.expires.toUTCString)) {
            var date;
            if (typeof options.expires == 'number') {
                date = new Date();
                date.setTime(date.getTime() + (options.expires * 24 * 60 * 60 * 1000));
            } else {
                date = options.expires;
            }
            expires = '; expires=' + date.toUTCString(); // use expires attribute, max-age is not supported by IE
        }
        // CAUTION: Needed to parenthesize options.path and options.domain
        // in the following expressions, otherwise they evaluate to undefined
        // in the packed version for some reason...
        var path = options.path ? '; path=' + (options.path) : '';
        var domain = options.domain ? '; domain=' + (options.domain) : '';
        var secure = options.secure ? '; secure' : '';
        document.cookie = [name, '=', encodeURIComponent(value), expires, path, domain, secure].join('');
    } else { // only name given, get cookie
        var cookieValue = null;
        if (document.cookie && document.cookie != '') {
            var cookies = document.cookie.split(';');
            for (var i = 0; i < cookies.length; i++) {
                var cookie = jQuery.trim(cookies[i]);
                // Does this cookie string begin with the name we want?
                if (cookie.substring(0, name.length + 1) == (name + '=')) {
                    cookieValue = decodeURIComponent(cookie.substring(name.length + 1));
                    break;
                }
            }
        }
        return cookieValue;
    }
};