Color (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 }