//  sline: number of empty lines between menu items
//  sline = 0 :  display menu items in a single row     DISABLED !!!!!!!!!!!!!!!!!!!!!
//                                                      ===============================

//  Menu is written as a TABLE !!

//  requires class 'navtop'
//  gifs required:
//      blank.gif
//      on.gif
//      hov.gif

var LineIncr = 12

function ShowAllMenus(sline)
{       var blength = buttons.length-1
        var clr = " "
	var separator = LineIncr
	var separ

	//if (sline == 0) separator = "|"
	if (sline == 0) sline = 1
	for (i=1; i<=sline; i++)  {
                separator = separator + LineIncr
                }
	document.writeln ("<table border='0' cellspacing='0' cellpadding='0'>")
	for(i=1; i<=blength; i++){
		//separ = ""
   		//if (i<blength) {separ = separator}
   		clr = color[i]
   		if (!clr) {clr="#000000"}
		document.writeln ("<tr><td align='left' valign='middle' height='"+separator+"' style='PADDING: 0px; MARGIN: 0px;'><IMG NAME='menu" + i + "' SRC='blank.gif' BORDER='0'></td>")
		document.writeln ("<td valign='middle' height='"+separator+"' style='PADDING: 0px; MARGIN: 0px;'><A HREF='"+links[i]+"' class='navtop' target='"+target[i]+"' onClick='Select("+i+");' onMouseOver='Hover("+i+");'>")
		document.writeln ("<font color='"+clr+"'>"+buttons[i]+"</font></a></td></tr>")
	        }
 	document.writeln ("</table>")

}
function Select(number)
{      var blength = buttons.length-1
       if(document.images) {
		for(i=1; i<=blength; i++){
			eval("document.menu"+i+".src='blank.gif'")  }
		eval("document.menu"+number+".src='on.gif'")   }
}
function SelectSingle(number)
{      var blength = buttons.length-1
       if(document.images) {
  		eval("document.menu"+number+".src='on.gif'")
        }
}

function Hover(number)
{      var blength = buttons.length-1
       if(document.images) {
		for(i=1; i<=blength; i++){
                        var str=eval("document.menu"+i+".src")
                        if  (str.search(/on.gif/) ==  -1) { eval("document.menu"+i+".src='blank.gif'") }
                      }
                var str=eval("document.menu"+number+".src")
                if  (str.search(/on.gif/) ==  -1) { eval("document.menu"+number+".src='hov.gif'") }
	 }
}