Merci @hugovk de l’avoir signalé.
Cette PR corrige la couleur de surbrillance pour le thème sombre.
Ce sujet sera clos dans quelques jours.