Bueno, al final ha funcionado poniendo el script dentro del
<body>. Y lo ha hecho tanto con
document.bgColor como con
document.body.bgColor, lo cual me hace pensar si el código original que saqué del libro funciona realmente en IE. No puedo saberlo porque solo utilizo Ubuntu y FF 1.5 y, aunque sé que se puede instalar IE en Ubuntu, me niego a hacerlo.
Bastantes años he tenido que aguantar a ese nefasto navegador para tener que seguir haciéndolo ahora.
Por cierto, tampoco uso Opera y Safari. El primero porque lo probé hace años en Windows cuando aún no era totalmente gratis y no me convenció. Y el segundo porque, que yo sepa, no existe para Linux.
Gracias de todos modos por vuestras respuestas
