// JavaScript Document
// funzioni per aggiustare la posizione del div #logo in base alla grandezza della finestra, anche in caso di resize >>>
	
	function logo_reposition() {
		var size = window.getSize();
		// alert(size.x+' '+size.y);
		if(size.x < 1180) $('logo').setStyles({'margin-left': '0px'});
		if(size.x >= 1180) $('logo').setStyles({'margin-left': '-90px'});
	}
	
	
	window.addEvents({
		'load': function(){ logo_reposition();},
		'resize': function(){ logo_reposition();}
	});
	
// <<<