private static Color slightlyDifferentColor(Color back) {
    if (back == null) {
      return null;
    }

    return EditorColorsManager.getInstance().isDarkEditor() ?
           ColorUtil.brighter(back, 3) : // dunno, under the dark theme the "brighter,1" doesn't look bright enough so we use 3
           ColorUtil.hackBrightness(back, 1, 1 / 1.05f); // Olga insisted on very-pale almost invisible gray. oh well
  }
private static Color slightlyDifferentColor(Color back)