/**
 * Javascript that applies to the whole site.
 *
 * Apply button() to buttons and submit buttons for jQuery UI styling.
 */

$(function() {
    $("button, input:submit").button();

    $('#globalAjaxLoading')
    .hide()  // hide it initially
    .ajaxStart(function() {
	$(this).show();
    })
    .ajaxStop(function() {
	$(this).hide();
    })
;

});