function updateMenuPosition() {
	var pos = $("contentContMain").getPosition();  
	$("contentContMenu").setStyle( "width", (pos.x - 17) + "px" );
}

window.addEvent('domready', function() {
	$('contentContMain').setStyle('min-height', $('contentContMenu').getStyle('height'));
	updateMenuPosition();
});

window.addEvent('resize', function(){
  updateMenuPosition();
});