message: color.ts: -7b .mingz: Shorten color names
diff: @@ -25,14 +25,14 @@ type Rgb = [RedComponent, GreenComponent, BlueComponent];
  const namedColorRgbHexStrings: Record<string, string> = {
  aliceblue: '#f0f8ff',
  antiquewhite: '#faebd7',
  - aqua: '#00ffff',
  + aqua: '#0ff',
  aquamarine: '#7fffd4',
  azure: '#f0ffff',
  beige: '#f5f5dc',
  bisque: '#ffe4c4',
  - black: '#000000',
  + black: '#000',
  blanchedalmond: '#ffebcd',
  - blue: '#0000ff',
  + blue: '#00f',
  blueviolet: '#8a2be2',
  brown: '#a52a2a',
  burlywood: '#deb887',
  @@ -43,7 +43,7 @@ const namedColorRgbHexStrings: Record<string, string> = {
  cornflowerblue: '#6495ed',
  cornsilk: '#fff8dc',
  crimson: '#dc143c',
  - cyan: '#00ffff',
  + cyan: '#0ff',
  darkblue: '#00008b',
  darkcyan: '#008b8b',
  darkgoldenrod: '#b8860b',
  @@ -69,7 +69,7 @@ const namedColorRgbHexStrings: Record<string, string> = {
  firebrick: '#b22222',
  floralwhite: '#fffaf0',
  forestgreen: '#228b22',
  - fuchsia: '#ff00ff',
  + fuchsia: '#f0f',
  gainsboro: '#dcdcdc',
  ghostwhite: '#f8f8ff',
  gold: '#ffd700',
  @@ -98,13 +98,13 @@ const namedColorRgbHexStrings: Record<string, string> = {
  lightseagreen: '#20b2aa',
  lightskyblue: '#87cefa',
  lightslateblue: '#8470ff',
  - lightslategray: '#778899',
  + lightslategray: '#789',
  lightsteelblue: '#b0c4de',
  lightyellow: '#ffffe0',
  - lime: '#00ff00',
  + lime: '#0f0',
  limegreen: '#32cd32',
  linen: '#faf0e6',
  - magenta: '#ff00ff',
  + magenta: '#f0f',
  maroon: '#800000',
  mediumaquamarine: '#66cdaa',
  mediumblue: '#0000cd',
  @@ -138,7 +138,7 @@ const namedColorRgbHexStrings: Record<string, string> = {
  plum: '#dda0dd',
  powderblue: '#b0e0e6',
  purple: '#800080',
  - red: '#ff0000',
  + red: '#f00',
  rosybrown: '#bc8f8f',
  royalblue: '#4169e1',
  saddlebrown: '#8b4513',
  @@ -162,9 +162,9 @@ const namedColorRgbHexStrings: Record<string, string> = {
  violet: '#ee82ee',
  violetred: '#d02090',
  wheat: '#f5deb3',
  - white: '#ffffff',
  + white: '#fff',
  whitesmoke: '#f5f5f5',
  - yellow: '#ffff00',
  + yellow: '#ff0',
  yellowgreen: '#9acd32',
  };
  