function operaMenuFix()
{
	// The Opera web browser does not calculate the width of dropdown menu ul boxes 
	//  correctly. It should base the ul box size on the width of the widest enclosed
	//  li box; instead, it erroneously sets the ul width to the sum of the widths of
	//  the enclosed li boxes. This function correctly sets the enclosing ul box width.
	//	Bob Abeles, 10.30.2007
	if (Prototype.Browser.Opera) {
		// for each ul element of class 'navdropdown' do the following:
		//	o find the width of the widest child li element
		//	o apply that width to the parent ul
		var ulElements = $A($('nav1').getElementsByClassName('navdropdown'));
		var liWidest;
		
		ulElements.each(function(ulEl) {
			self.liWidest = 0;
			var childElements = $A(ulEl.descendants());
			childElements.each(function(el) {
				if (el.getWidth() > self.liWidest)
					self.liWidest = el.getWidth();
			});
			ulEl.setStyle({width: self.liWidest + 'px'});
		});
		
	}
}