/*script per i tooltip*/

/*window.onload=enableTooltips; da attivare se serve */

function enableTooltips(){
var links=document.getElementsByTagName("a");
for(i=0;i<links.length;i++){
    t=links[i].getAttribute("title");
    if(t!=""){
        links[i].removeAttribute("title");
        links[i].style.position="relative";
        tooltip=document.createElement("em");
        tooltip.className="tooltip";
        tooltip.style.display="none";
        tooltip.appendChild(document.createTextNode(t));
        links[i].appendChild(tooltip);
        links[i].onmouseover=showTooltip;
        links[i].onmouseout=hideTooltip;
        }
    }
}

function showTooltip(event){
    this.style.zIndex="25";
    this.getElementsByTagName("em")[0].style.display="block";
    }

function hideTooltip(event){
    this.style.zIndex="24";
    this.getElementsByTagName("em")[0].style.display="none";
    }

function dimensImg(event, grand){
    var e = event;
    var larg = e.width;
    var alt  = e.height;
    var g = grand;
    var l = g;
    var h = g;
    
//    alert(larg.toString()) ;
//    alert(alt.toString()) ;

    if(larg>alt){
	h = alt  * g  / larg ;
    } else {
	l = larg  * g  / alt ;
    }
    e.width = l;
    e.height = h;
    }