/*

 Milonic DHTML Website Navigation Menu - Version 3.5

 Written by Andy Woolley - Copyright 2002 (c) Milonic Solutions Limited. All Rights Reserved.

 Please visit http://www.milonic.co.uk/menu or e-mail menu3@milonic.com for more information.

 

 The Free use of this menu is only available to Non-Profit, Educational & Personal web sites.

 Commercial and Corporate licenses  are available for use on all other web sites & Intranets.

 All Copyright notices MUST remain in place at ALL times and, please keep us informed of your 

 intentions to use the menu and send us your URL.

*/





//The following line is critical for menu operation, and MUST APPEAR ONLY ONCE. If you have more than one menu_array.js file rem out this line in subsequent files

menunum=0;menus=new Array();_d=document;function addmenu(){menunum++;menus[menunum]=menu;}function dumpmenus(){mt="<script language=javascript>";for(a=1;a<menus.length;a++){mt+=" menu"+a+"=menus["+a+"];"}mt+="<\/script>";_d.write(mt)}

//Please leave the above line intact. The above also needs to be enabled if it not already enabled unless this file is part of a multi pack.







////////////////////////////////////

// Editable properties START here //

////////////////////////////////////



// Special effect string for IE5.5 or above please visit http://www.milonic.co.uk/menu/filters_sample.php for more filters

effect = "Fade(duration=0.2);Alpha(style=0,opacity=88);Shadow(color='#777777', Direction=135, Strength=5)"





timegap=500			// The time delay for menus to remain visible

followspeed=1		// Follow Scrolling speed

followrate=10;		// Follow Scrolling Rate

suboffset_top=0;	// Sub menu offset Top position 

suboffset_left=0;	// Sub menu offset Left position

closeOnClick = true



style1=[			// style1 is an array of properties. You can have as many property arrays as you need. This means that menus can have their own style.

"006699",				// Mouse Off Font Color

"FFFFFF",			// Mouse Off Background Color

"000000",			// Mouse On Font Color

"FFFFFF",			// Mouse On Background Color

"",			// Menu Border Color 

11,					// Font Size in pixels

"normal",			// Font Style (italic or normal)

"bold",				// Font Weight (bold or normal)

"Arial, Verdana",	// Font Name

4,					// Menu Item Padding

,		// Sub Menu Image (Leave this blank if not needed)

,					// 3D Border & Separator bar

,			// 3D High Color

,			// 3D Low Color

,			// Current Page Item Font Color (leave this blank to disable)

"999999",				// Current Page Item Background Color (leave this blank to disable)

,		// Top Bar image (Leave this blank to disable)

"000000",			// Menu Header Font Color (Leave blank if headers are not needed)

"000000",			// Menu Header Background Color (Leave blank if headers are not needed)

"5F6062",				// Menu Item Separator Color

]



style2=[			// style1 is an array of properties. You can have as many property arrays as you need. This means that menus can have their own style.

"006699",				// Mouse Off Font Color

"FFFFFF",			// Mouse Off Background Color

"FFFFFF",			// Mouse On Font Color

"006699",			// Mouse On Background Color

"5F6062",			// Menu Border Color 

10,					// Font Size in pixels

"normal",			// Font Style (italic or normal)

"bold",				// Font Weight (bold or normal)

"Verdana, Arial",	// Font Name

3,					// Menu Item Padding

"arrow.gif",		// Sub Menu Image (Leave this blank if not needed)

,					// 3D Border & Separator bar

"66ffff",			// 3D High Color

"000099",			// 3D Low Color

"5F6062",			// Current Page Item Font Color (leave this blank to disable)

"",				// Current Page Item Background Color (leave this blank to disable)

"arrowdn.gif",		// Top Bar image (Leave this blank to disable)

"ffffff",			// Menu Header Font Color (Leave blank if headers are not needed)

"000099",			// Menu Header Background Color (Leave blank if headers are not needed)

"5F6062",				// Menu Item Separator Color

]



addmenu(menu=[		// This is the array that contains your menu properties and details

"mainmenu",			// Menu Name - This is needed in order for the menu to be called

5,					// Menu Top - The Top position of the menu in pixels

30,				// Menu Left - The Left position of the menu in pixels

134,					// Menu Width - Menus width in pixels

,					// Menu Border Width 

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style1,				// Properties Array - this is set higher up, as above

1,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

1,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

"center",					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,					// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

,"&nbsp;","",,,2

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">LIRMM</SPAN>","show-menu=presentation","0195-27.html target=_top",,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">RESEARCH</SPAN>","show-menu=recherche","0018-04.html target=_top",,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">PUBLICATIONS</SPAN>","show-menu=publications","0149-29.html target=_top",,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">PARTNERSHIPS</SPAN>","0128-27.html target=_top",,,1
//,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">FORMATION</SPAN>","0147-02.html",,,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">RESEARCH PLATFORMS</SPAN>","0129-27.html target=_top",,,1
//,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">FORMATION</SPAN>","0147-02.html",,,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">EDUCATIONAL PROGRAM</SPAN>","show-menu=formations","0140-04.html target=_top",,1
//,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">FORMATION</SPAN>","0147-02.html",,,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">EVENTS</SPAN>","show-menu=manifestations","0329-04.html target=_top",,1

,"&nbsp;<BR><bR><BR>","",,,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">SERVICES</SPAN>","show-menu=services","0152-04.html target=_top",,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\">JOB OPPORTUNITIES</SPAN>","0052-08.html target=_top",,,0

,"&nbsp;<BR><bR><BR>","",,,1

,"<SPAN STYLE=\"font-family:Verdana, Arial, Helvetica san-serif;\" onMouseOver='this.style.color=(\"#5F6062\")'; onMouseOut='this.style.color=(\"#FF9900\")';>INTRANET</SPAN>","https://www.lirmm.fr/xml/in/0100-07-i.html target=_top",,,1

])

addmenu(menu=[		// This is the array that contains your menu properties and details

"none",			// Menu Name - This is needed in order for the menu to be called

0,					// Menu Top - The Top position of the menu in pixels

0,				// Menu Left - The Left position of the menu in pixels

0,					// Menu Width - Menus width in pixels

0,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

,"","",,,0 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"


])


addmenu(menu=[		// This is the array that contains your menu properties and details

"recherche",			// Menu Name - This is needed in order for the menu to be called

,					// Menu Top - The Top position of the menu in pixels

,				// Menu Left - The Left position of the menu in pixels

180,					// Menu Width - Menus width in pixels

1,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

,"<span style=\"padding-left:10px;\">General Presentation</span>","0019-27.html target=_top",,,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

,"<span style=\"padding-left:10px;\">Activity Reports</span>","0008-29.html",,,1


,"<span style=\"padding-left:10px;\">Informatics Department</span>","0014-28.html target=_top",,,1

,"<span style=\"padding-left:10px;\">Microelectronics</span><br><span style=\"padding-left:10px;\">Department</span>","0022-28.html target=_top",,,1

,"<span style=\"padding-left:10px;\">Robotics Department</span>","0023-28.html target=_top",,,1

,"<span style=\"padding-left:10px;\">LIRMM Brochure</span>","http://www.lirmm.fr/xml/pictures/fichier/0008/Lirmm_Brochure_en.pdf  target=_blank",,,1

])



addmenu(menu=[		// This is the array that contains your menu properties and details

"services",			// Menu Name - This is needed in order for the menu to be called

,					// Menu Top - The Top position of the menu in pixels

,				// Menu Left - The Left position of the menu in pixels

180,					// Menu Width - Menus width in pixels

1,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

,"<span style=\"padding-left:10px;\">InfoDoc (netvibes)</span>","http://www.netvibes.com/lirmm#General target=_top",,,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

//,"<span style=\"padding-left:10px;\">Library</span>","0413-08.html target=_top",,,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

,"<span style=\"padding-left:10px;\">E-mail</span>","0161-02.html target=_top",,,1

,"<span style=\"padding-left:10px;\">News</span>","0154-02.html target=_top",,,1

,"<span style=\"padding-left:10px;\">FTP Server</span>","0155-02.html target=_top",,,1

,"<span style=\"padding-left:10px;\">GForge Serveur</span>","0049-02.html target=_top",,,1


])

addmenu(menu=[		// This is the array that contains your menu properties and details

"manifestations",			// Menu Name - This is needed in order for the menu to be called

,					// Menu Top - The Top position of the menu in pixels

,				// Menu Left - The Left position of the menu in pixels

180,					// Menu Width - Menus width in pixels

1,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

,"<span style=\"padding-left:10px;\">Congresses</span>","0325-18.html target=_top",,,1

,"<span style=\"padding-left:10px;\">Seminars</span>","0327-18.html target=_top",,,1

,"<span style=\"padding-left:10px;\">Defended Theses</span>","0328-18.html target=_top",,,1

])

addmenu(menu=[		// This is the array that contains your menu properties and details

"formations",			// Menu Name - This is needed in order for the menu to be called

,					// Menu Top - The Top position of the menu in pixels

,				// Menu Left - The Left position of the menu in pixels

180,					// Menu Width - Menus width in pixels

1,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use


,"<span style=\"padding-left:10px;\">Masters and PhDs</span>","0141-04.html target=_top",,,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"


,"<div style=\"padding-left:20px;font-weight:normal;\">Masters</div>","0138-27.html target=_top",,,0

,"<div style=\"padding-left:20px;font-weight:normal;\">Doctoral Program</div>","0146-27.html target=_top",,,0

,"<div style=\"padding-left:20px;font-weight:normal;\">Thesis Subjects</div>","0142-27.html target=_top",,,0

,"<div style=\"padding-left:20px;font-weight:normal;\">Scholarships</div>","0143-27.html target=_top",,,0

,"<div style=\"padding-left:20px;font-weight:normal;\">Thesis Defense</div>","0144-27.html target=_top",,,1

//,"<div style=\"padding-left:20px;font-weight:normal;\">DEA</div>","0145-27.html",,,0

,"<span style=\"padding-left:10px;\">Autres formations</span>","0147-02.html target=_top",,,1

])

addmenu(menu=[		// This is the array that contains your menu properties and details

"publications",			// Menu Name - This is needed in order for the menu to be called

,					// Menu Top - The Top position of the menu in pixels

,				// Menu Left - The Left position of the menu in pixels

180,					// Menu Width - Menus width in pixels

1,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

,"<span style=\"padding-left:10px;\">Publications in </span><br><span style=\"padding-left:10px;\">HAL-LIRMM</span>","http://hal-lirmm.ccsd.cnrs.fr/index.php?action_todo=search&s_type=advanced target=_blank",,,1

,"<span style=\"padding-left:10px;\">Thesis in HAL-LIRMM</span>","http://hal-lirmm.ccsd.cnrs.fr/index.php?action_todo=search&s_type=advanced&langue=en&submit=1&search_in_typdoc[0]=THESE target=_blank",,,1

//,"<span style=\"padding-left:10px;\">Ressources externes</span>","0033-08.html target=_top",,,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

//,"<span style=\"padding-left:10px;\">Th&egrave;ses</span>","0151-29.html",,,1


])

addmenu(menu=[		// This is the array that contains your menu properties and details

"presentation",			// Menu Name - This is needed in order for the menu to be called

,					// Menu Top - The Top position of the menu in pixels

164,				// Menu Left - The Left position of the menu in pixels

180,					// Menu Width - Menus width in pixels

1,					// Menu Border Width

,					// Screen Position - here you can use "center;left;right;middle;top;bottom" or a combination of "center:middle"

style2,				// Properties Array - this is set higher up, as above

0,					// Always Visible - allows the menu item to be visible at all time (1=on/0=off)

"left",				// Alignment - sets the menu elements text alignment, values valid here are: left, right or center

,				// Filter - Text variable for setting transitional effects on menu activation - see above for more info

0,					// Follow Scrolling - Tells the menu item to follow the user down the screen (visible at all times) (1=on/0=off)

0, 					// Horizontal Menu - Tells the menu to become horizontal instead of top to bottom style (1=on/0=off)

,					// Keep Alive - Keeps the menu visible until the user moves over another menu or clicks elsewhere on the page (1=on/0=off)

,					// Position of TOP sub image left:center:right

,					// Set the Overall Width of Horizontal Menu to 100% and height to the specified amount (Leave blank to disable)

,					// Right To Left - Used in Hebrew for example. (1=on/0=off)

,					// Open the Menus OnClick - leave blank for OnMouseover (1=on/0=off)

,					// ID of the div you want to hide on MouseOver (useful for hiding form elements)

,// Background image for menu when BGColor set to transparent.

,					// Scrollable Menu

,					// Reserved for future use

//,"<span style=\"padding-left:10px;\">Pr&eacute;sentation g&eacute;n&eacute;rale</span>","0019-27.html",,,1 // "Description Text", "URL", "Alternate URL", "Status", "Separator Bar"

,"<span style=\"padding-left:10px;\">Overview</span>","0195-27.html target=_top",,,1

,"<span style=\"padding-left:10px;\">Organisation Chart</span>","http://www.lirmm.fr/xml/pictures/fichier/0034/Organigramme.pdf target=_blank",,,1

,"<span style=\"padding-left:10px;\">Location</span>","0003-27.html target=_top",,,1


])

	



dumpmenus()