Grazie @hugovk per aver segnalato questo problema.
Questa PR corregge il colore di evidenziazione per il tema scuro.
Questo argomento verrà chiuso tra qualche giorno.