// turn on menu highlighting
function tokkel(val) {
   // get specific div item, identified by node index
   var itm = document.getElementById(val);
   var txt = document.getElementById(val+"text");
   var saf = document.getElementById(val+"safe");
           
   // switch menu tip off when on ...
   if (txt.style.display=="block")
   {
        // turn off menu tip display
        txt.style.display="none";

        // set style properties
        itm.style.backgroundColor="white";
        itm.style.color="black"
        itm.style.fontWeight = 400;
        txt.style.display="none";

        saf.src = saf.oversrc;
        saf.src = "../gif/Safeclosed.gif";
   }
   else
   // switch menu tip on when off
   {
        // turn on menu tip display
        txt.style.display="block";

        // set style properties
        itm.style.backgroundColor="blue";
        itm.style.color="yellow"
        itm.style.fontWeight = 700;

        saf.src = saf.oversrc;
        saf.src = "../gif/Safeopened.gif";
   }
}