Thanks @hugovk for reporting this.
This PR fixes the highlight colour for dark theme.
This topic will close in a few days.