// JavaScript Document

resizeSideMenu = function() {
	if ( $('SideNavigationWpr') && $('ContentBody') ) {
		var SideNavigation = $('SideNavigationWpr');
		var SideNavigationHeight = SideNavigation.getHeight();
		var ContentBody = $('ContentBody');
		var ContentBodyHeight = ContentBody.getHeight();
		if ( ContentBodyHeight > SideNavigationHeight ) {
			SideNavigation.setStyle({ height: ContentBodyHeight + 'px' }); 
		}
	}
}