Modifiche nell'editor di testo?

Oppure segnalalo agli sviluppatori e vedi se possono regolare il suo stile CSS per renderlo meno “invasivo”. È successo anche in uno dei miei recenti report Contribute > UX una sorta di regressione nell’estensione ha causato la fuoriuscita degli stili CSS. (Penso che quel argomento sia stato eliminato? Non riesco a trovarlo da nessuna parte)