window.addEvent('domready',function(){
	if ( document.getElementById('portal')) {
		var fx = new Fx.Styles($('portal'), {wait: false, transition: Fx.Transitions.Expo.easeInOut});
		$('portal').addEvent('mouseenter',function(e){
			fx.start({
				height: [$('portal').getStyle("height").toInt(), 150]
			});
		});	
		$('portal').addEvent('mouseleave',function(e){
			fx.start({
				height: [$('portal').getStyle("height").toInt(), 15]
			});
		});
	}	
});