/**
 * Common javascript functions
 */

String.prototype.trim = function() { return this.replace(/^\s+|\s+$/, ''); };

function adjustMenu() {
	var contentDiv = document.getElementById('content');
	var menu = document.getElementById('menu');
	var menu_wrapper = document.getElementById('menu-wrapper');
	var rightbar = document.getElementById('rightbar');
	var rightbar_wrapper = document.getElementById('rightbar-wrapper');
	
	menu.style.height = (contentDiv.offsetHeight + 1) + "px";
	menu_wrapper.style.height = (contentDiv.offsetHeight + 1) + "px";
	rightbar.style.height = (contentDiv.offsetHeight + 1) + "px";
	rightbar_wrapper.style.height = (contentDiv.offsetHeight + 1) - 6 + "px";
	if (document.all) {
		//menu.style.height = (contentDiv.offsetHeight + 1);
		menu_wrapper.style.height = (contentDiv.offsetHeight + 1);
		//rightbar.style.height = (contentDiv.offsetHeight + 1);
		//rightbar_wrapper.style.height = (contentDiv.offsetHeight + 1);
	}
}