Fiz uma pequena alteração que espero que evite este problema
Estávamos usando um seletor de atributos em CSS para alguns desses estilos de código/pré, e o suporte por e-mail para eles é um pouco irregular, então aqui mudamos para um seletor de elementos. Se você continuar tendo problemas após a atualização, por favor, nos avise e faremos mais investigações!