// JavaScript Document

//Contents for menu 1
var menu1=new Array()
menu1[0]='<a href="troupe_eng.html">Troupe ENG</a>'
menu1[1]='<a href="troupe_est.html">Troupe esterne</a>'
menu1[2]='<a href="teatro_posa.html">Teatro di posa</a>'
menu1[3]='<a href="blueback.html">Blueback</a>'
menu1[4]='<a href="format.html">Format</a>'

//Contents for menu 2, and so on   
var menu2=new Array()
menu2[0]='<a href="montaggio.html">Montaggio</a>'
menu2[1]='<a href="grafica.html">Grafica</a>'
menu2[2]='<a href="hd-editing.html"><img src="immagini/logoHD.gif" alt="" /></a>'

var menu3=new Array()
menu3[0]='<div class = "Stile2">&nbsp;Troupe ENG</div>'
menu3[1]='<a href="troupe_est.html">Troupe esterne</a>'
menu3[2]='<a href="teatro_posa.html">Teatro di posa</a>'
menu3[3]='<a href="blueback.html">Blueback</a>'
menu3[4]='<a href="format.html">Format</a>'

var menu4=new Array()
menu4[0]='<div class = "Stile2">&nbsp;Montaggio</div>'
menu4[1]='<a href="grafica.html">Grafica</a>'
menu4[2]='<a href="hd-editing.html"><img src="immagini/logoHD.gif" alt="" /></a>'

var menu5=new Array()
menu5[0]='<a href="troupe_eng.html">&nbsp;Troupe ENG</a>'
menu5[1]='<div class = "Stile2">&nbsp;Troupe esterne</div>'
menu5[2]='<a href="teatro_posa.html">Teatro di posa</a>'
menu5[3]='<a href="blueback.html">Blueback</a>'
menu5[4]='<a href="format.html">Format</a>'

var menu6=new Array()
menu6[0]='<a href="troupe_eng.html">&nbsp;Troupe ENG</a>'
menu6[1]='<a href="troupe_est.html">Troupe esterne</a>'
menu6[2]='<div class = "Stile2">&nbsp;Teatro di posa</div>'
menu6[3]='<a href="blueback.html">Blueback</a>'
menu6[4]='<a href="format.html">Format</a>'

var menu7=new Array()
menu7[0]='<a href="troupe_eng.html">&nbsp;Troupe ENG</a>'
menu7[1]='<a href="troupe_est.html">Troupe esterne</a>'
menu7[2]='<a href="teatro_posa.html">Teatro di posa</a>'
menu7[3]='<div class = "Stile2">&nbsp;Blueback</div>'
menu7[4]='<a href="format.html">Format</a>'

var menu8=new Array()
menu8[0]='<a href="montaggio.html">Montaggio</a>'
menu8[1]='<div class = "Stile2">&nbsp;Grafica</div>'
menu8[2]='<a href="hd-editing.html"><img src="immagini/logoHD.gif" alt="" /></a>'

var menu9=new Array()
menu9[0]='<a href="montaggio.html">Montaggio</a>'
menu9[1]='<a href="grafica.html">Grafica</a>'
menu9[2]='<div class = "Stile2"><img src="immagini/logoHD.gif" alt="" /></div>'

var menu0=new Array()
menu0[0]='<a href="troupe_eng.html">&nbsp;Troupe ENG</a>'
menu0[1]='<a href="troupe_est.html">Troupe esterne</a>'
menu0[2]='<a href="teatro_posa.html">Teatro di posa</a>'
menu0[3]='<a href="blueback.html">Blueback</a>'
menu0[4]='<div class = "Stile2">&nbsp;Format</div>'
		
var menuwidth='100px' //default menu width
var menubgcolor='#000000'  //menu bgcolor
var disappeardelay=250  //menu disappear speed onMouseout (in miliseconds)
var hidemenu_onclick="yes" //hide menu when user clicks within menu?

/////No further editting needed

var ie4=document.all
var ns6=document.getElementById&&!document.all

if (ie4||ns6)
document.write('<div id="dropmenudiv" style="visibility:hidden;width:'+menuwidth+';background-color:'+menubgcolor+'" onMouseover="clearhidemenu()" onMouseout="dynamichide(event)"></div>')

function getposOffset(what, offsettype){
	var totaloffset=(offsettype=="left")? what.offsetLeft : what.offsetTop;
	var parentEl=what.offsetParent;
	while (parentEl!=null){
		totaloffset=(offsettype=="left")? totaloffset+parentEl.offsetLeft : totaloffset+parentEl.offsetTop;
		parentEl=parentEl.offsetParent;
	}
	return totaloffset;
}

function showhide(obj, e, visible, hidden, menuwidth){
	if (ie4||ns6)
		dropmenuobj.style.left=dropmenuobj.style.top=-500
	if (menuwidth!=""){
		dropmenuobj.widthobj=dropmenuobj.style
		dropmenuobj.widthobj.width=menuwidth
	}
	if (e.type=="click" && obj.visibility==hidden || e.type=="mouseover")
		obj.visibility=visible
	else if (e.type=="click")
		obj.visibility=hidden
}

function iecompattest(){
	return (document.compatMode && document.compatMode!="BackCompat")? document.documentElement : document.body
}

function clearbrowseredge(obj, whichedge){
	var edgeoffset=0
	if (whichedge=="rightedge"){
		var windowedge=ie4 && !window.opera? iecompattest().scrollLeft+iecompattest().clientWidth-15 : window.pageXOffset+window.innerWidth-15
		dropmenuobj.contentmeasure=dropmenuobj.offsetWidth
		if (windowedge-dropmenuobj.x < dropmenuobj.contentmeasure)
			edgeoffset=dropmenuobj.contentmeasure-obj.offsetWidth
	}
	else{
		var topedge=ie4 && !window.opera? iecompattest().scrollTop : window.pageYOffset
		var windowedge=ie4 && !window.opera? iecompattest().scrollTop+iecompattest().clientHeight-15 : window.pageYOffset+window.innerHeight-18
		dropmenuobj.contentmeasure=dropmenuobj.offsetHeight
		if (windowedge-dropmenuobj.y < dropmenuobj.contentmeasure){ //move up?
			edgeoffset=dropmenuobj.contentmeasure+obj.offsetHeight
			if ((dropmenuobj.y-topedge)<dropmenuobj.contentmeasure) //up no good either?
				edgeoffset=dropmenuobj.y+obj.offsetHeight-topedge
		}
	}
	return edgeoffset
}

function populatemenu(what){
	if (ie4||ns6)
		dropmenuobj.innerHTML=what.join("")
}

function dropdownmenu(obj, e, menucontents, menuwidth){
	if (window.event) 
		event.cancelBubble=true
	else if (e.stopPropagation) 
		e.stopPropagation()
	clearhidemenu()
	dropmenuobj=document.getElementById? document.getElementById("dropmenudiv") : dropmenudiv
	populatemenu(menucontents)

	if (ie4||ns6){
		showhide(dropmenuobj.style, e, "visible", "hidden", menuwidth)
		dropmenuobj.x=getposOffset(obj, "left")
		dropmenuobj.y=getposOffset(obj, "top")
		dropmenuobj.style.left=dropmenuobj.x-clearbrowseredge(obj, "rightedge")+"px"
		dropmenuobj.style.top=dropmenuobj.y-clearbrowseredge(obj, "bottomedge")+obj.offsetHeight-20+"px"
	}

	return clickreturnvalue()
}

function clickreturnvalue(){
	if (ie4||ns6) 
		return false
	else 
		return true
}

function contains_ns6(a, b) {
	while (b.parentNode)
		if ((b = b.parentNode) == a)
			return true;
	return false;
}

function dynamichide(e){
	if (ie4&&!dropmenuobj.contains(e.toElement))
		delayhidemenu()
	else if (ns6&&e.currentTarget!= e.relatedTarget&& !contains_ns6(e.currentTarget, e.relatedTarget))
		delayhidemenu()
}

function hidemenu(e){
	if (typeof dropmenuobj!="undefined"){
		if (ie4||ns6)
			dropmenuobj.style.visibility="hidden"
	}
}

function delayhidemenu(){
	if (ie4||ns6)
		delayhide=setTimeout("hidemenu()",disappeardelay)
}

function clearhidemenu(){
	if (typeof delayhide!="undefined")
		clearTimeout(delayhide)
}

if (hidemenu_onclick=="yes")
document.onclick=hidemenu