/**
 * fixSize
 *
 * Fixes height of side when the content div is bigger than normal
 *
 * @since Fri Jul 11 2008
 * @access public
 * @return void
 **/
function fixSize() {
	var baseHeight = 1;
	if (/MSIE ((5\.5)|6|7)/.test(navigator.userAgent) ) {
		baseHeight = 2;
	}
	
	if (!Object.isElement($("bannertop") ) ) {
		return;
	}
	var bannertopHeight = Element.getHeight("bannertop");
	var bannersHeight = Element.getHeight("banners");
	
	
	var contentHeight = Element.getHeight("content") - bannertopHeight;
	
	if (bannersHeight < contentHeight) {
		Element.setStyle("leftside", {height: contentHeight + 22 + "px"});
		Element.setStyle("banners", {height: contentHeight + "px"});
	}
	else {
		if (bannertopHeight < 30) {
			Element.setStyle("leftside", {height: bannersHeight - 189 + 22 + "px"} );
		}
		else {
			Element.setStyle("leftside", {height: bannersHeight + 22 + "px"} );
		}
	}
}