function misie(znacznik)
{
  function nowycolor()
  {
    znacznik.style.color = "#600000";
    znacznik.style.background = "#c0c0c0";
    znacznik.style.border = "1px solid #ffffff";
  }
  function starycolor()
  {
    znacznik.style.color = "#ffffff";
    znacznik.style.background = "#700000";
    znacznik.style.border = "1px solid #b00000";
  }
 znacznik.onmouseover = nowycolor;
 znacznik.onmouseout = starycolor;
}

if (navigator.appName == "Microsoft Internet Explorer")
{
znaczniki = document.getElementsByTagName("span");
for(i=0;i<znaczniki.length;i++) { misie(znaczniki[i]); }
}