if (/Firefox[\/\s](\d+\.\d+)/.test(navigator.userAgent)){ //test for Firefox/x.x or Firefox x.x (ignoring remaining digits);
 var ffversion=new Number(RegExp.$1) // capture x.x portion and store as a number
 if (ffversion>=3)
  document.write("<style>#navbar a.navm:hover { width:150px; height:30px; background-image:url(/pix/nav-off.jpg); color:#ffffff; text-decoration:none;}</style>")
 else if (ffversion>=2)
  document.write("<style>#navbar a.navm:hover { width:150px; height:30px; background-image:url(/pix/nav-off.jpg); color:#ffffff; text-decoration:none;}</style>")
 else if (ffversion>=1)
  document.write("<style>#navbar a.navm:hover { width:150px; height:30px; background-image:url(/pix/nav-off.jpg); color:#ffffff; text-decoration:none;}</style>")
}
else
 document.write("")