parameterize lighten color in displaying saved highlights