var old_src = '';
function ini_vignettes(){
	var els = document.getElementsByTagName('IMG');
	for (var i=0; i<els.length; i++){
		if (els[i].className == 'vignette'){
			$(els[i]).setStyle('opacity', .8);
			$(els[i]).style.cursor = 'pointer';
		}
	}
}
function show_image(src){
		$('bigimage').src = src;
}

function over_image(el){
	$(el).setStyle('opacity', 1);
}
function out_image(el){
	$(el).setStyle('opacity', .8);
}