Perdona la tardanza en contestar, pero nos fuimos de vacaciones y nos olvidamos un poco del tema. Finalmente sí que limpiamos todo lo referente a caches y tal, y tardó un poco en cambiar, pero se acabaron produciendo cambios.
Ahora, lo interesante es que, a pesar de estar comentado como que solo se usa en Internet Explorer, al comentar esa parte del código dejó de funcionar todo lo referente al estilo del portal que tenemos, siendo que usamos Google Chrome...
No sé que haremos finalmente porque todo esto viene a raíz de querer mejorar la Accesibilidad del portal y demás.
Muchas gracias