/***********************************************
* AnyLink Drop Down Menu- © Dynamic Drive (www.dynamicdrive.com)
* This notice MUST stay intact for legal use
* Visit http://www.dynamicdrive.com/ for full source code
***********************************************/

//Contents for menu 1 Produits
var menu1=new Array()
menu1[0]='<a href="digital_tv.html">Digital TV</a>'
menu1[1]='<a href="signal_proc.html">Signal Processing</a>'
menu1[2]='<a href="communication_prot.html">Communication protocols</a>'
menu1[3]='<a href="eval_boards.html">Evaluation boards</a>'
menu1[4]='<a href="documentation.html">Documentation</a>'

//Contents for menu 2 Société
var menu2=new Array()
menu2[0]='<a href="about_MVD_Cores.html">MVD Cores</a>'
menu2[1]='<a href="contact.html">Contact - Access map</a>'
menu2[2]='<a href="publications.html">Publications</a>'

//Récupération adresse page en cours
var myloc = window.location.href;
var locarray = myloc.split("/");
var mypage = locarray[(locarray.length-1)]

var menuwidth='165px' //default menu width
//var menubgcolor='#C1D4E3'  //menu bgcolor bleu clair
var menubgcolor='#FFFFE0'  //menu bgcolor jaune pale
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+"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

// création du bandeau haut

document.write('<div align="center"><center>                                               ')
document.write('<table border="0" cellpadding="2" cellspacing="0" width="990">             ')
document.write('    <tr>                                                                   ')
document.write('        <td bgcolor="#05396E"><div align="center"><center><table           ')
document.write('        border="0" cellpadding="0" cellspacing="0" width="100%">           ')
document.write('            <tr>                                                           ')
document.write('                <td background="design/menu_haut_bandeau.gif"><div         ')
document.write('                align="center"><center><table border="0"                   ')
document.write('                cellpadding="0" cellspacing="0" width="100%">              ')
document.write('                    <tr>                                                   ')
document.write('                        <td rowspan="3"><img                               ')
document.write('                        src="design/pixel.gif" align="absmiddle"           ')
document.write('                        width="420" height="80">                           ')
document.write('                        </td>                                              ')
document.write('                        <td width="20%">&nbsp;</td>                        ')
document.write('                    </tr>                                                  ')
//recherche
document.write('                          <td width="20%">                                 ')
document.write('                          <form action="http://cores.mvd-fpga.master.com/texis/master/search/" method="GET">')
document.write('                          <input type="hidden" name="s" value="SS">')
document.write('                          <img src="design/pixel.gif" width="6" height="5">')
document.write('                          <input type="text" size="20" name="q">')
document.write('                          <input type="image" name="submit" src="design/menu_haut_loupe.gif" alt="Search"')
document.write('                          align="absmiddle" border="0" width="21"')
document.write('                          height="21" value="Go">')
document.write('                          <img src="design/pixel.gif" width="10" height="5"><br>')
document.write('                          </td>')
document.write('                          </form>')
//fin recherche
document.write('                    </tr>                                                  ')
document.write('                    <tr>                                                   ')
document.write('                        <td align="center"><font class="texte"><a href="../fr/'+mypage+'">français</a></font> ')
document.write('                        <a href="../fr/'+mypage+'"><img src="design/flag_fr.jpg" align="absmiddle"   ')
document.write('                        border="0" width="30" height="20"></a> </td>       ')
document.write('                    </tr>                                                  ')
document.write('                </table>                                                   ')
document.write('                </center></div></td>                                       ')
document.write('            </tr>                                                          ')
document.write('            <tr>                                                           ')
document.write('                <td width="100%" bgcolor="#FFFFFF">                        ')
document.write('                <a href="home.html"><img                                ')
document.write('                src="design/menu_haut_accueil.gif"                         ')
document.write('                 border="0"></a><img                ')
document.write('                src="design/menu_haut_separ.gif" width="2"                 ')
document.write('                height="20"><a href="home.html"                         ')
document.write('                onclick="return clickreturnvalue()"                        ')
document.write('                onmouseover="dropdownmenu(this, event, menu1, \'250px\')"  ')
document.write('                onmouseout="delayhidemenu()"><img                          ')
document.write('                src="design/menu_haut_produits.gif"              ')
document.write('                 border="0"></a><img                            ')
document.write('                src="design/menu_haut_separ.gif"                           ')
document.write('                width="2" height="20"><a href="support.html"><img      ')
document.write('                src="design/menu_haut_support.gif"                         ')
document.write('                 border="0"></a><img                ')
document.write('                src="design/menu_haut_separ.gif" width="2"                 ')
document.write('                height="20"><a href="partners.html"><img                 ')
document.write('                src="design/menu_haut_partenaires.gif"           ')
document.write('                 border="0"></a><img src="design/menu_haut_separ.gif"')
document.write('                height="20"><a href="home.html"                         ')
document.write('                onclick="return clickreturnvalue()"                        ')
document.write('                onmouseover="dropdownmenu(this, event, menu2, \'250px\')"  ')
document.write('                onmouseout="delayhidemenu()"><img                          ')
document.write('                src="design/menu_haut_societe.gif"                         ')
document.write('                 border="0"></a></td>                ')
document.write('            </tr>                                                          ')
document.write('        </table>                                                           ')
document.write('        </center></div></td>                                               ')
document.write('    </tr>                                                                  ')
document.write('</table>                                                                   ')
document.write('</center></div>                                                            ')