/**
* JavaScript for doc_default.php.
*
* @package Site
* @subpackage Templates
* @author Pavel "Papi" Jartsev <papi@digitalfruit.ee>
*/

function setMenuHeight()
{
	var menu = $('menu2');
	var contentLeft = $('content-left');
	var contentRight = $('content-right');

	if ( menu && contentLeft && contentRight ) {
		var contentLeftHeight = contentLeft.getHeight();
		var contentRightHeight = contentRight.getHeight();

		if ( contentRightHeight > contentLeftHeight ) {
			var menuPaddingBottom = parseInt( menu.getStyle( 'paddingBottom' ));
			menu.setStyle({
				paddingBottom: ( contentRightHeight - contentLeftHeight - menuPaddingBottom + 2 ) + 'px'
			})
		}
	}
}