Options are darker on mouse over. Related to #8584 and #647