/* Hide focus borders */

function link_down() {
	this.onfocus= this.blur;
}

function link_up() {
	this.onfocus= window.clientInformation ? null : window.undefined;
}

function link_bind() {
	var i;
	for (i= 0; i<document.links.length; i++) {
		document.links[i].onmousedown= link_down;
		document.links[i].onmouseup= link_up;
	}
}