function over(name, color) {
   if (typeof(window.opera) == 'undefined') {
      name.style.color=color;
   } else {
      name.setAttribute('color', color, 0);
   }
}

function darken(name, color) {
   over(name, color);
   if (typeof(window.opera) == 'undefined') {
      name.style.borderColor = color;
   } else {
      name.setAttribute('bordercolor', color, 0);
   }
}

function bgdarken(name, color) {
   if (typeof(window.opera) == 'undefined') {
      name.style.backgroundColor = color;
   } else {
      name.setAttribute('backgroundcolor', color, 0);
   }
}