He realizado un pequeño cambio que espero que evite este problema
Estábamos usando un selector de atributos en CSS para algunos de estos estilos de código/pre, y el soporte por correo electrónico para ellos es un poco irregular, así que aquí hemos cambiado a un selector de elementos. Si continúa teniendo problemas después de actualizar, ¡háganoslo saber y profundizaremos más!