/**
 * @author danielalekow
 * 
 * script highlights the border of a thumbnail image on hovering over it.
 */


function set_event(){

	var i;
	var image_set = document.getElementsByTagName('img');

	for (i = 0; i < image_set.length; i++) {
	
		image_set[i].onmouseover = function(){img_hover(this);}		
		
	}
	
}


function img_hover(img_element){
	
	if (img_element.className != "filler") {
		// this if-statement makes sure, that blank thumbs do not get highlighted
		img_element.style.border = '2px solid #ecf3f8';
		img_element.onmouseout = function(){img_element.style.border = '2px solid #52586B'};
	} else {}

}