Danke @hugovk für die Meldung.
Diese PR behebt die Hervorhebungsfarbe für das dunkle Thema.
Dieses Thema wird in wenigen Tagen geschlossen.