function fixHeight() {
	/*
	 * Makes the right column the same height as the left if the right is shorter
	 */
	
	if(document.getElementById("right-column").offsetHeight < document.getElementById("content").offsetHeight) {
		// Resize
		document.getElementById("right-column").style.height = document.getElementById("content").offsetHeight + "px";
	} //if
} //fixHeight()

window.onload = function() {
	fixHeight();
} //onload