/**
 * 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;
	}
	
	var navHeight = Element.getHeight("navigation");
	var sideHeight = Element.getHeight("side_content") + navHeight + baseHeight;// + 38;
	var contentHeight = Element.getHeight("content") - 17;
	
	if (sideHeight < contentHeight) {
		Element.setStyle("side_content", {height: (contentHeight - navHeight) + "px"});
	}
	else {
		Element.setStyle("content", {height: sideHeight + "px"});
	}
}