Gracias @hugovk por informar de esto.
Esta PR corrige el color de resaltado para el tema oscuro.
Este tema se cerrará en unos días.