Te aseguro que no lo había visto nunca y no tengo ni santa idea de dónde puede estar el problema.
No obstante, una pregunta: ¿es necesario el identificador de ese div? Lo pregunto porque ya que vas a tener que cambiar la clase dinámicamente, igual te bastaría con que tenga la clase y evitarías ese problema. Si es por recoger el elemento por su id, supongo que también podría hacerse por className. Quizá no sea posible por alguna razón. Ya me dirás.
Mientras tanto, por si acaso, una muestra de un código complatible que funciona bien:
Código:
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Documento sin título</title>
<meta http-equiv="Content-Type"
content="text/html; charset=iso-8859-1" />
<style>
.convencional, .laboratorio, .ecologica, .exportacion { border-top: 7px solid #2b4882;
border-bottom: 7px solid #2b4882;
height:173px;
background: #2b4882 url(img/menu_grupo.jpg) no-repeat;
}
.convencional { border-bottom-color:#4a8359; background-image:url(img/menu_convencional.jpg);}
.laboratorio { border-bottom-color:#999999; background-image:url(img/menu_laboratorio.jpg); }
.ecologica { border-bottom-color:#bad46a; background-image:url(img/menu_grupo.jpg); }
.exportacion { border-bottom-color:#607bb0; background-image:url(img/menu_grupo.jpg);}
</style>
</head>
<body>
<div class="exportacion"></div>
</body>
</html>
No sé si será posible el cambio. Ya nos contarás.
Mikel.