use jellybeans for non-gui high-color, too