unhighlighted stuff lightened for better contrast