Sustitución de controles 'CheckBox'

Sustitución de controles 'CheckBox' (aunque ocultación sería más cercano a la realidad) para proveer de una interfaz gráfica más atractiva. El sistema aparentemente mantiene cierta accesibilidad, porque la estructura de los controles es convencional:

<input type="checkbox" onclick="return (!EOK);" class="Op" id="Op1" name="Op1" />
<label for="Op1" onclick="Accionar(this);">Opci&oacute;n 1</label>

Los scripts se limitan a vincular una hoja de estilos especial (encargada de ocultar los controles y crear las imágenes) si el navegador cumple ciertos requisitos, y de controlar los efectos:

var EOK = (document.implementation);
if (EOK) document.write('<link rel="StyleSheet" href="check.css" media="screen" type="text/css" />');
  
function Accionar(Etiqueta) {
  if (!EOK) return;
  var Control=document.getElementById(Etiqueta.htmlFor);
  Control.checked = !Control.checked;
  Etiqueta.style.backgroundImage='url('+Control.checked+'.png)';
}

Por su parte, la hoja de estilos es bastante simple:

.Op {
  display:none;
}
label {
  padding-left:16px;
  background:url(false.png) left center no-repeat;
  cursor:pointer;
}

I.D.O. originada a partir del mensaje Checkbox personalizable publicado en el grupo e.c.i.w.paginas-web.