HM_DOM = (document.getElementById) ? true : false; HM_NS4 = (document.layers) ? true : false; HM_IE = (document.all) ? true : false; HM_IE4 = HM_IE && !HM_DOM; HM_Mac = (navigator.appVersion.indexOf("Mac") != -1); HM_IE4M = HM_IE4 && HM_Mac; HM_IsMenu = (HM_DOM || HM_NS4 || (HM_IE4 && !HM_IE4M)); HM_BrowserString = HM_NS4 ? "NS4" : HM_DOM ? "DOM" : "IE4"; if(window.event + "" == "undefined") event = null; function HM_f_PopUp(){return false}; function HM_f_PopDown(){return false}; popUp = HM_f_PopUp; popDown = HM_f_PopDown; repertoire = HTML_DIR + "menu/" // parametres generaux HM_PG_MenuWidth = 150; HM_PG_FontFamily = "Arial,sans-serif"; HM_PG_FontSize = 10; HM_PG_FontBold = 0; HM_PG_FontItalic = 0; HM_PG_FontColor = "blue"; HM_PG_FontColorOver = "white"; HM_PG_BGColor = "#DDDDDD"; HM_PG_BGColorOver = "#FFCCCC"; HM_PG_ItemPadding = 3; HM_PG_BorderWidth = 1; HM_PG_BorderColor = "black"; HM_PG_BorderStyle = "solid"; HM_PG_SeparatorSize = 1; HM_PG_SeparatorColor = "#d0ff00"; HM_PG_ImageSrc = repertoire + "fleche_menu.gif"; HM_PG_ImageSrcLeft = repertoire + "fleche_menu.gif"; HM_PG_ImageSize = 10; HM_PG_ImageHorizSpace = 0; HM_PG_ImageVertSpace = 2; HM_GL_KeepHilite = false; HM_GL_ClickStart = false; HM_GL_ClickKill = 0; HM_GL_ChildOverlap = 15; HM_GL_ChildOffset = 10; HM_GL_ChildPerCentOver = null; HM_GL_TopSecondsVisible = .5; HM_GL_StatusDisplayBuild = 0; HM_GL_StatusDisplayLink = 1; HM_GL_UponDisplay = null; HM_GL_UponHide = null; //HM_GL_RightToLeft = true; HM_GL_CreateTopOnly = true; HM_GL_ShowLinkCursor = true; //HM_a_TreesToBuild = [1,2]; // the following function is included to illustrate the improved JS expression handling of // the left_position and top_position parameters // you may delete if you have no use for it // NON UTILISEE (peut être appelée dans un tableau, pour définir la position horizontale) function HM_f_CenterMenu(topmenuid) { var TheMenu = HM_DOM ? document.getElementById(topmenuid) : HM_IE4 ? document.all(topmenuid) : eval("window." + topmenuid); var TheMenuWidth = HM_DOM ? parseInt(TheMenu.style.width) : HM_IE4 ? TheMenu.style.pixelWidth : TheMenu.clip.width; var TheWindowWidth = HM_IE ? document.body.clientWidth : window.innerWidth; return ((TheWindowWidth-TheMenuWidth) / 2); } // Insertion du menu et du script de traitement if(HM_IsMenu) { document.write("<\/SCR" + "IPT>"); document.write("<\/SCR" + "IPT>"); }