function set_menu_height() {
	_content_height_str = $('listing_content').getStyle('height');
	_menu_height_str = $('nav_container').getStyle('height');
	_content_height = _content_height_str.substring(0, _content_height_str.length - 2);
	_menu_height = _menu_height_str.substring(0, _menu_height_str.length - 2);
	if (((_content_height * 1)) > (_menu_height * 1)) {
		$('nav_container').setStyle('height', (_content_height *1 ));
	}
}

window.addEvent('domready', function(){
	set_menu_height();
});