gtk3: slightly less ridiculous highlighting scheme in dr mode.