// Highlighting home jumpboxes

function highlight(hov,val) {
	document.getElementById('desc'+val).style.background = (hov) ? '#e8e8e8' : '#f0f0f0';
	document.getElementById('title'+val).style.background = (hov) ? 'url(images/jumpbox_titles_bg.jpg)' : '';
}