///////////////////////////////////////
// Effect.Scale の終了タイミングのイベントを発行するようにした jushFinish
Effect.Scale.prototype.finish = function(position) {
    if (this.restoreAfterFinish) Element.setStyle(this.element, this.originalStyle);
    this.event('justFinish');
};
///////////////////////////////////////


var gbSlideMenuDown = true;
var gbSliding = false;
function slideMenu() {
	if (gbSliding == true) { return; }
	gbSliding = true;
	
	if (gbSlideMenuDown) Effect.SlideDown('slidemenuArea', {justFinish: function(){ gbSliding = false;}});
	else                 Effect.SlideUp('slidemenuArea', {justFinish: function(){ gbSliding = false;}});
	gbSlideMenuDown = gbSlideMenuDown ? false : true;
}