// JavaScript Document
function ID(element) { return document.getElementById(element); }
function match_div_height() {
	var right_div = ID('content').scrollHeight;
	var left_div = ID('sidebar').scrollHeight;
	if(right_div > left_div)
		ID('sidebar').style.height = (right_div)+"px";
	else
		ID('content').style.height = (left_div)+"px";
}