Hola otra vez:
JavierB: La versión que instalaste es muy vieja y habría que reescribir todo para conseguir algo, incluso creo que tampoco funciona el innerHTML y tendríamos que hacer muchos recortes.
Creo que lo mejor es limitar a las versiones superiores a la 6. o mozilla 1 (que en otra discusión lo sugirió mikel_gomez
).
Creo que el div de los resaltes debería estar oculto (o inhabilitado), y activarlo si se navega con el explorer.
// if (document.all)
No se si te has fijado en los macros, creo que falta algún chequeo.
Saludos