// JavaScript Document
function unblur() {
	this.blur();
}

function blurLinks() {
	links = document.getElementsByTagName("a");
	for(i=0; i<links.length; i++) {
		links[i].onfocus = unblur;
	}
}

function fixHeight () {
	l = document.getElementById('left');
	r = document.getElementById('right');
	if (l.offsetHeight > r.offsetHeight)
		r.style.height = l.offsetHeight + "px";
}