Ho apportato una piccola modifica che spero eviterà questo problema
Stavamo utilizzando un selettore di attributi in CSS per alcuni di questi stili di codice/pre, e il supporto via email per essi è un po’ frammentario, quindi qui siamo passati a un selettore di elementi. Se continui ad avere problemi dopo l’aggiornamento, faccelo sapere e approfondiremo!