+ /* For mapping X11 color names to RGB values: */
+ /* https://www.ehdp.com/methods/x11-color-names-rgb-values.htm */
+ /* Remember that our values range from 0-65535 inclusive, so scale the */
+ /* usual 0-255 range accordingly. */
+ /* */
+ /* +---------------------------------------+ */
+ /* | foreground | | background | */
+ /* | red,green,blue | | red,green,blue | */
+ {65535, 0, 0, 0, 0, 0}, /* {"red", "black"}, */
+ {32767,32767, 0, 0, 0, 0}, /* {"olive", "black"}, */
+ { 0,32767,32767, 0, 0, 0}, /* {"teal", "black"}, */
+ {27524,22937,52428, 0, 0, 0}, /* {"slateblue", "black"}, */
+ {60947,33422,60947, 0, 0, 0}, /* {"violet", "black"}, */
+ {41287, 8519,61602, 0, 0, 0}, /* {"purple", "black"}, */
+ {65535,65535,65535, 0, 0, 0}, /* {"white", "black"}, */
+ {65535,65535,65535, 0,25558, 0}, /* {"white", "darkgreen"}, */
+ {65535,65535,65535, 36044, 0,36044}, /* {"white", "darkmagenta"}, */
+ {65535,65535,65535, 36044, 0, 0}, /* {"white", "darkred"}, */
+ {65535,65535,65535, 0, 0,36044}, /* {"white", "darkblue"}, */
+ {11796,20315,20315, 36494,65535,65535}, /* {"darkslategray", "darkslategray1"}, */
+ {45219,50461,57015, 11796,20315,20315}, /* {"lightsteelblue", "darkslategray"}, */
+ {10023,16448,35723, 16383,26869,57670}, /* {"royalblue4", "royalblue"}, */
+ {61166,57311,52428, 35723,33667,30840}, /* {"antiquewhite2", "antiquewhite4"}, */
+ {51914,65535,28784, 21626,27524,11796}, /* {"darkolivegreen1", "darkolivegreen"}, */
+ {49601,65535,49601, 26985,35723,26985}, /* {"darkseagreen1", "darkseagreen4"}, */
+ {65535,49151,52428, 36044, 0, 0}, /* {"pink", "darkred"}, */
+ {44563,55704,58981, 0,25558, 0}, /* {"lightblue", "darkgreen"}, */
+ {65535, 0, 0, 0, 0,65535}, /* {"red", "blue"}, */
+ {65535, 0, 0, 0,25558, 0}, /* {"red", "darkgreen"}, */
+ { 0,65535,65535, 0,32767,32767}, /* {"aqua", "teal"}, */
+ { 0, 0,36044, 0,32767,32767}, /* {"darkblue", "teal"}, */
+ {61602,58981,32767, 11796,36044,22281}, /* {"khaki", "seagreen"}, */
+ {61602,58981,32767, 21626,27524,11796}, /* {"khaki", "darkolivegreen"}, */
+ {30801,34733,39321, 11796,20315,20315}, /* {"lightslategray", "darkslategray"}, */
+ {65535,25558,18349, 11796,20315,20315}, /* {"tomato", "darkslategray"}, */
+ {65535,25558,18349, 0,36044,36044} /* {"tomato", "darkcyan"} */