// The setBodyClass() function changes the page style.
    // The style switcher state is also updated.
    var setBodyClass = function(className) {
      $('body').removeClass();
      $('body').addClass(className);
      $('#switcher .button').removeClass('selected');
      $('#switcher-' + className).addClass('selected');
      
      if (className == 'default') {
        $('#switcher').click(toggleStyleSwitcher);
      }
      else {
        $('#switcher').unbind('click', toggleStyleSwitcher);
        $('#switcher .button').removeClass('hidden');
      }
    };