/* Long list of color names and their rgb values, used by UI, and html stuff.
 * This and color_s.inc are both included by src/util/color.c when CONFIG_SMALL
 * is not defined; otherwise, only color_s.inc is included.
 * This list is mostly from X11 rgb.txt with some additions from various
 * sources and from original ELinks color.c file. */

	{ "alice blue",			0xF0F8FF },
	{ "antique white",		0xFAEBD7 },
	{ "antiquewhite1",		0xFFEFDB },
	{ "antiquewhite2",		0xEEDFCC },
	{ "antiquewhite3",		0xCDC0B0 },
	{ "antiquewhite4",		0x8B8378 },
	{ "aquamarine1",		0x7FFFD4 },
	{ "aquamarine2",		0x76EEC6 },
	{ "aquamarine3",		0x66CDAA },
	{ "azure1",			0xF0FFFF },
	{ "azure2",			0xE0EEEE },
	{ "azure3",			0xC1CDCD },
	{ "azure4",			0x838B8B },
	{ "bisque1",			0xFFE4C4 },
	{ "bisque2",			0xEED5B7 },
	{ "bisque3",			0xCDB79E },
	{ "bisque4",			0x8B7D6B },
	{ "blanched almond",		0xFFEBCD },
	{ "blue violet",		0x8A2BE2 },
	{ "brown1",			0xFF4040 },
	{ "brown2",			0xEE3B3B },
	{ "brown3",			0xCD3333 },
	{ "brown4",			0x8B2323 },
	{ "burlywood1",			0xFFD39B },
	{ "burlywood2",			0xEEC591 },
	{ "burlywood3",			0xCDAA7D },
	{ "burlywood4",			0x8B7355 },
	{ "cadetblue1",			0x98F5FF },
	{ "cadetblue2",			0x8EE5EE },
	{ "cadetblue3",			0x7AC5CD },
	{ "chartreuse1",		0x7FFF00 },
	{ "chartreuse2",		0x76EE00 },
	{ "chartreuse3",		0x66CD00 },
	{ "chocolate1",			0xFF7F24 },
	{ "chocolate2",			0xEE7621 },
	{ "chocolate3",			0xCD661D },
	{ "chocolate4",			0x8B4513 },
	{ "coral1",			0xFF7256 },
	{ "coral2",			0xEE6A50 },
	{ "coral3",			0xCD5B45 },
	{ "coral4",			0x8B3E2F },
	{ "cornflower blue",		0x6495ED },
	{ "cornsilk1",			0xFFF8DC },
	{ "cornsilk2",			0xEEE8CD },
	{ "cornsilk3",			0xCDC8B1 },
	{ "cornsilk4",			0x8B8878 },
	{ "dark blue",			0x00008B },
	{ "dark cyan",			0x008B8B },
	{ "dark goldenrod",		0xB8860B },
	{ "darkgoldenrod1",		0xFFB90F },
	{ "darkgoldenrod2",		0xEEAD0E },
	{ "darkgoldenrod3",		0xCD950C },
	{ "darkgoldenrod4",		0x8B6508 },
	{ "dark gray",			0xA9A9A9 },
	{ "dark grey",			0xA9A9A9 },
	{ "darkgrey",			0xA9A9A9 },
	{ "dark khaki",			0xBDB76B },
	{ "dark magenta",		0x8B008B },
	{ "darkolivegreen1",		0xCAFF70 },
	{ "darkolivegreen2",		0xBCEE68 },
	{ "darkolivegreen3",		0xA2CD5A },
	{ "darkolivegreen4",		0x6E8B3D },
	{ "dark orange",		0xFF8C00 },
	{ "darkorange1",		0xFF7F00 },
	{ "darkorange2",		0xEE7600 },
	{ "darkorange3",		0xCD6600 },
	{ "darkorange4",		0x8B4500 },
	{ "dark orchid",		0x9932CC },
	{ "darkorchid1",		0xBF3EFF },
	{ "darkorchid2",		0xB23AEE },
	{ "darkorchid3",		0x9A32CD },
	{ "darkorchid4",		0x68228B },
	{ "dark red",			0x8B0000 },
	{ "dark salmon",		0xE9967A },
	{ "dark sea green",		0x8FBC8F },
	{ "darkseagreen1",		0xC1FFC1 },
	{ "darkseagreen2",		0xB4EEB4 },
	{ "darkseagreen3",		0x9BCD9B },
	{ "darkseagreen4",		0x698B69 },
	{ "darkslategray1",		0x97FFFF },
	{ "darkslategray2",		0x8DEEEE },
	{ "darkslategray3",		0x79CDCD },
	{ "dark violet",		0x9400D3 },
	{ "deep pink",			0xFF1493 },
	{ "deeppink1",			0xFF1493 },
	{ "deeppink2",			0xEE1289 },
	{ "deeppink3",			0xCD1076 },
	{ "deeppink4",			0x8B0A50 },
	{ "dim gray",			0x696969 },
	{ "dim grey",			0x696969 },
	{ "dimgrey",			0x696969 },
	{ "firebrick1",			0xFF3030 },
	{ "firebrick2",			0xEE2C2C },
	{ "firebrick3",			0xCD2626 },
	{ "firebrick4",			0x8B1A1A },
	{ "floral white",		0xFFFAF0 },
	{ "ghost white",		0xF8F8FF },
	{ "gold1",			0xFFD700 },
	{ "gold2",			0xEEC900 },
	{ "gold3",			0xCDAD00 },
	{ "gold4",			0x8B7500 },
	{ "goldenrod1",			0xFFC125 },
	{ "goldenrod2",			0xEEB422 },
	{ "goldenrod3",			0xCD9B1D },
	{ "goldenrod4",			0x8B6914 },
	{ "gray100",			0xFFFFFF },
	{ "gray40",			0x666666 },
	{ "gray41",			0x696969 },
	{ "gray42",			0x6B6B6B },
	{ "gray43",			0x6E6E6E },
	{ "gray44",			0x707070 },
	{ "gray45",			0x737373 },
	{ "gray46",			0x757575 },
	{ "gray47",			0x787878 },
	{ "gray48",			0x7A7A7A },
	{ "gray49",			0x7D7D7D },
	{ "gray50",			0x7F7F7F },
	{ "gray51",			0x828282 },
	{ "gray52",			0x858585 },
	{ "gray53",			0x878787 },
	{ "gray54",			0x8A8A8A },
	{ "gray55",			0x8C8C8C },
	{ "gray56",			0x8F8F8F },
	{ "gray57",			0x919191 },
	{ "gray58",			0x949494 },
	{ "gray59",			0x969696 },
	{ "gray60",			0x999999 },
	{ "gray61",			0x9C9C9C },
	{ "gray62",			0x9E9E9E },
	{ "gray63",			0xA1A1A1 },
	{ "gray64",			0xA3A3A3 },
	{ "gray65",			0xA6A6A6 },
	{ "gray66",			0xA8A8A8 },
	{ "gray67",			0xABABAB },
	{ "gray68",			0xADADAD },
	{ "gray69",			0xB0B0B0 },
	{ "gray70",			0xB3B3B3 },
	{ "gray71",			0xB5B5B5 },
	{ "gray72",			0xB8B8B8 },
	{ "gray73",			0xBABABA },
	{ "gray74",			0xBDBDBD },
	{ "gray75",			0xBFBFBF },
	{ "gray76",			0xC2C2C2 },
	{ "gray77",			0xC4C4C4 },
	{ "gray78",			0xC7C7C7 },
	{ "gray79",			0xC9C9C9 },
	{ "gray80",			0xCCCCCC },
	{ "gray81",			0xCFCFCF },
	{ "gray82",			0xD1D1D1 },
	{ "gray83",			0xD4D4D4 },
	{ "gray84",			0xD6D6D6 },
	{ "gray85",			0xD9D9D9 },
	{ "gray86",			0xDBDBDB },
	{ "gray87",			0xDEDEDE },
	{ "gray88",			0xE0E0E0 },
	{ "gray89",			0xE3E3E3 },
	{ "gray90",			0xE5E5E5 },
	{ "gray91",			0xE8E8E8 },
	{ "gray92",			0xEBEBEB },
	{ "gray93",			0xEDEDED },
	{ "gray94",			0xF0F0F0 },
	{ "gray95",			0xF2F2F2 },
	{ "gray96",			0xF5F5F5 },
	{ "gray97",			0xF7F7F7 },
	{ "gray98",			0xFAFAFA },
	{ "gray99",			0xFCFCFC },
	{ "green yellow",		0xADFF2F },
	{ "grey",			0xBEBEBE },
	{ "grey100",			0xFFFFFF },
	{ "grey40",			0x666666 },
	{ "grey41",			0x696969 },
	{ "grey42",			0x6B6B6B },
	{ "grey43",			0x6E6E6E },
	{ "grey44",			0x707070 },
	{ "grey45",			0x737373 },
	{ "grey46",			0x757575 },
	{ "grey47",			0x787878 },
	{ "grey48",			0x7A7A7A },
	{ "grey49",			0x7D7D7D },
	{ "grey50",			0x7F7F7F },
	{ "grey51",			0x828282 },
	{ "grey52",			0x858585 },
	{ "grey53",			0x878787 },
	{ "grey54",			0x8A8A8A },
	{ "grey55",			0x8C8C8C },
	{ "grey56",			0x8F8F8F },
	{ "grey57",			0x919191 },
	{ "grey58",			0x949494 },
	{ "grey59",			0x969696 },
	{ "grey60",			0x999999 },
	{ "grey61",			0x9C9C9C },
	{ "grey62",			0x9E9E9E },
	{ "grey63",			0xA1A1A1 },
	{ "grey64",			0xA3A3A3 },
	{ "grey65",			0xA6A6A6 },
	{ "grey66",			0xA8A8A8 },
	{ "grey67",			0xABABAB },
	{ "grey68",			0xADADAD },
	{ "grey69",			0xB0B0B0 },
	{ "grey70",			0xB3B3B3 },
	{ "grey71",			0xB5B5B5 },
	{ "grey72",			0xB8B8B8 },
	{ "grey73",			0xBABABA },
	{ "grey74",			0xBDBDBD },
	{ "grey75",			0xBFBFBF },
	{ "grey76",			0xC2C2C2 },
	{ "grey77",			0xC4C4C4 },
	{ "grey78",			0xC7C7C7 },
	{ "grey79",			0xC9C9C9 },
	{ "grey80",			0xCCCCCC },
	{ "grey81",			0xCFCFCF },
	{ "grey82",			0xD1D1D1 },
	{ "grey83",			0xD4D4D4 },
	{ "grey84",			0xD6D6D6 },
	{ "grey85",			0xD9D9D9 },
	{ "grey86",			0xDBDBDB },
	{ "grey87",			0xDEDEDE },
	{ "grey88",			0xE0E0E0 },
	{ "grey89",			0xE3E3E3 },
	{ "grey90",			0xE5E5E5 },
	{ "grey91",			0xE8E8E8 },
	{ "grey92",			0xEBEBEB },
	{ "grey93",			0xEDEDED },
	{ "grey94",			0xF0F0F0 },
	{ "grey95",			0xF2F2F2 },
	{ "grey96",			0xF5F5F5 },
	{ "grey97",			0xF7F7F7 },
	{ "grey98",			0xFAFAFA },
	{ "grey99",			0xFCFCFC },
	{ "honeydew1",			0xF0FFF0 },
	{ "honeydew2",			0xE0EEE0 },
	{ "honeydew3",			0xC1CDC1 },
	{ "honeydew4",			0x838B83 },
	{ "hot pink",			0xFF69B4 },
	{ "hotpink1",			0xFF6EB4 },
	{ "hotpink2",			0xEE6AA7 },
	{ "hotpink3",			0xCD6090 },
	{ "hotpink4",			0x8B3A62 },
	{ "indian red",			0xCD5C5C },
	{ "indianred1",			0xFF6A6A },
	{ "indianred2",			0xEE6363 },
	{ "indianred3",			0xCD5555 },
	{ "indianred4",			0x8B3A3A },
	{ "ivory1",			0xFFFFF0 },
	{ "ivory2",			0xEEEEE0 },
	{ "ivory3",			0xCDCDC1 },
	{ "ivory4",			0x8B8B83 },
	{ "khaki1",			0xFFF68F },
	{ "khaki2",			0xEEE685 },
	{ "khaki3",			0xCDC673 },
	{ "khaki4",			0x8B864E },
	{ "lavender blush",		0xFFF0F5 },
	{ "lavenderblush1",		0xFFF0F5 },
	{ "lavenderblush2",		0xEEE0E5 },
	{ "lavenderblush3",		0xCDC1C5 },
	{ "lavenderblush4",		0x8B8386 },
	{ "lawn green",			0x7CFC00 },
	{ "lemon chiffon",		0xFFFACD },
	{ "lemonchiffon1",		0xFFFACD },
	{ "lemonchiffon2",		0xEEE9BF },
	{ "lemonchiffon3",		0xCDC9A5 },
	{ "lemonchiffon4",		0x8B8970 },
	{ "light blue",			0xADD8E6 },
	{ "lightblue1",			0xBFEFFF },
	{ "lightblue2",			0xB2DFEE },
	{ "lightblue3",			0x9AC0CD },
	{ "lightblue4",			0x68838B },
	{ "light coral",		0xF08080 },
	{ "light cyan",			0xE0FFFF },
	{ "lightcyan1",			0xE0FFFF },
	{ "lightcyan2",			0xD1EEEE },
	{ "lightcyan3",			0xB4CDCD },
	{ "lightcyan4",			0x7A8B8B },
	{ "light goldenrod",		0xEEDD82 },
	{ "lightgoldenrod",		0xEEDD82 },
	{ "lightgoldenrod1",		0xFFEC8B },
	{ "lightgoldenrod2",		0xEEDC82 },
	{ "lightgoldenrod3",		0xCDBE70 },
	{ "lightgoldenrod4",		0x8B814C },
	{ "light goldenrod yellow",	0xFAFAD2 },
	{ "light gray",			0xD3D3D3 },
	{ "lightgray",			0xD3D3D3 },
	{ "light green",		0x90EE90 },
	{ "light grey",			0xD3D3D3 },
	{ "light pink",			0xFFB6C1 },
	{ "lightpink1",			0xFFAEB9 },
	{ "lightpink2",			0xEEA2AD },
	{ "lightpink3",			0xCD8C95 },
	{ "lightpink4",			0x8B5F65 },
	{ "light salmon",		0xFFA07A },
	{ "lightsalmon1",		0xFFA07A },
	{ "lightsalmon2",		0xEE9572 },
	{ "lightsalmon3",		0xCD8162 },
	{ "lightsalmon4",		0x8B5742 },
	{ "light sky blue",		0x87CEFA },
	{ "lightskyblue1",		0xB0E2FF },
	{ "lightskyblue2",		0xA4D3EE },
	{ "lightskyblue3",		0x8DB6CD },
	{ "light slate blue",		0x8470FF },
	{ "lightslateblue",		0x8470FF },
	{ "light slate gray",		0x778899 },
	{ "light slate grey",		0x778899 },
	{ "lightslategrey",		0x778899 },
	{ "light steel blue",		0xB0C4DE },
	{ "lightsteelblue1",		0xCAE1FF },
	{ "lightsteelblue2",		0xBCD2EE },
	{ "lightsteelblue3",		0xA2B5CD },
	{ "lightsteelblue4",		0x6E7B8B },
	{ "light yellow",		0xFFFFE0 },
	{ "lightyellow1",		0xFFFFE0 },
	{ "lightyellow2",		0xEEEED1 },
	{ "lightyellow3",		0xCDCDB4 },
	{ "lightyellow4",		0x8B8B7A },
	{ "magenta1",			0xFF00FF },
	{ "magenta2",			0xEE00EE },
	{ "magenta3",			0xCD00CD },
	{ "magenta4",			0x8B008B },
	{ "maroon1",			0xFF34B3 },
	{ "maroon2",			0xEE30A7 },
	{ "maroon3",			0xCD2990 },
	{ "maroon4",			0x8B1C62 },
	{ "medium aquamarine",		0x66CDAA },
	{ "medium orchid",		0xBA55D3 },
	{ "mediumorchid1",		0xE066FF },
	{ "mediumorchid2",		0xD15FEE },
	{ "mediumorchid3",		0xB452CD },
	{ "mediumorchid4",		0x7A378B },
	{ "medium purple",		0x9370DB },
	{ "mediumpurple1",		0xAB82FF },
	{ "mediumpurple2",		0x9F79EE },
	{ "mediumpurple3",		0x8968CD },
	{ "medium slate blue",		0x7B68EE },
	{ "medium violet red",		0xC71585 },
	{ "mint cream",			0xF5FFFA },
	{ "misty rose",			0xFFE4E1 },
	{ "mistyrose1",			0xFFE4E1 },
	{ "mistyrose2",			0xEED5D2 },
	{ "mistyrose3",			0xCDB7B5 },
	{ "mistyrose4",			0x8B7D7B },
	{ "navajo white",		0xFFDEAD },
	{ "navajowhite1",		0xFFDEAD },
	{ "navajowhite2",		0xEECFA1 },
	{ "navajowhite3",		0xCDB38B },
	{ "navajowhite4",		0x8B795E },
	{ "old lace",			0xFDF5E6 },
	{ "olive drab",			0x6B8E23 },
	{ "olivedrab1",			0xC0FF3E },
	{ "olivedrab2",			0xB3EE3A },
	{ "olivedrab3",			0x9ACD32 },
	{ "olivedrab4",			0x698B22 },
	{ "orange1",			0xFFA500 },
	{ "orange2",			0xEE9A00 },
	{ "orange3",			0xCD8500 },
	{ "orange4",			0x8B5A00 },
	{ "orange red",			0xFF4500 },
	{ "orangered1",			0xFF4500 },
	{ "orangered2",			0xEE4000 },
	{ "orangered3",			0xCD3700 },
	{ "orangered4",			0x8B2500 },
	{ "orchid1",			0xFF83FA },
	{ "orchid2",			0xEE7AE9 },
	{ "orchid3",			0xCD69C9 },
	{ "orchid4",			0x8B4789 },
	{ "pale goldenrod",		0xEEE8AA },
	{ "pale green",			0x98FB98 },
	{ "palegreen1",			0x9AFF9A },
	{ "palegreen2",			0x90EE90 },
	{ "palegreen3",			0x7CCD7C },
	{ "pale turquoise",		0xAFEEEE },
	{ "paleturquoise1",		0xBBFFFF },
	{ "paleturquoise2",		0xAEEEEE },
	{ "paleturquoise3",		0x96CDCD },
	{ "paleturquoise4",		0x668B8B },
	{ "pale violet red",		0xDB7093 },
	{ "palevioletred1",		0xFF82AB },
	{ "palevioletred2",		0xEE799F },
	{ "palevioletred3",		0xCD6889 },
	{ "palevioletred4",		0x8B475D },
	{ "papaya whip",		0xFFEFD5 },
	{ "peach puff",			0xFFDAB9 },
	{ "peachpuff1",			0xFFDAB9 },
	{ "peachpuff2",			0xEECBAD },
	{ "peachpuff3",			0xCDAF95 },
	{ "peachpuff4",			0x8B7765 },
	{ "pink1",			0xFFB5C5 },
	{ "pink2",			0xEEA9B8 },
	{ "pink3",			0xCD919E },
	{ "pink4",			0x8B636C },
	{ "plum1",			0xFFBBFF },
	{ "plum2",			0xEEAEEE },
	{ "plum3",			0xCD96CD },
	{ "plum4",			0x8B668B },
	{ "powder blue",		0xB0E0E6 },
	{ "purple1",			0x9B30FF },
	{ "purple2",			0x912CEE },
	{ "purple3",			0x7D26CD },
	{ "red1",			0xFF0000 },
	{ "red2",			0xEE0000 },
	{ "red3",			0xCD0000 },
	{ "red4",			0x8B0000 },
	{ "rosy brown",			0xBC8F8F },
	{ "rosybrown1",			0xFFC1C1 },
	{ "rosybrown2",			0xEEB4B4 },
	{ "rosybrown3",			0xCD9B9B },
	{ "rosybrown4",			0x8B6969 },
	{ "saddle brown",		0x8B4513 },
	{ "salmon1",			0xFF8C69 },
	{ "salmon2",			0xEE8262 },
	{ "salmon3",			0xCD7054 },
	{ "salmon4",			0x8B4C39 },
	{ "sandy brown",		0xF4A460 },
	{ "seashell1",			0xFFF5EE },
	{ "seashell2",			0xEEE5DE },
	{ "seashell3",			0xCDC5BF },
	{ "seashell4",			0x8B8682 },
	{ "sienna1",			0xFF8247 },
	{ "sienna2",			0xEE7942 },
	{ "sienna3",			0xCD6839 },
	{ "sienna4",			0x8B4726 },
	{ "sky blue",			0x87CEEB },
	{ "skyblue1",			0x87CEFF },
	{ "skyblue2",			0x7EC0EE },
	{ "skyblue3",			0x6CA6CD },
	{ "slate blue",			0x6A5ACD },
	{ "slateblue1",			0x836FFF },
	{ "slateblue2",			0x7A67EE },
	{ "slateblue3",			0x6959CD },
	{ "slate gray",			0x708090 },
	{ "slategray1",			0xC6E2FF },
	{ "slategray2",			0xB9D3EE },
	{ "slategray3",			0x9FB6CD },
	{ "slategray4",			0x6C7B8B },
	{ "slate grey",			0x708090 },
	{ "slategrey",			0x708090 },
	{ "snow1",			0xFFFAFA },
	{ "snow2",			0xEEE9E9 },
	{ "snow3",			0xCDC9C9 },
	{ "snow4",			0x8B8989 },
	{ "tan1",			0xFFA54F },
	{ "tan2",			0xEE9A49 },
	{ "tan3",			0xCD853F },
	{ "tan4",			0x8B5A2B },
	{ "thistle1",			0xFFE1FF },
	{ "thistle2",			0xEED2EE },
	{ "thistle3",			0xCDB5CD },
	{ "thistle4",			0x8B7B8B },
	{ "tomato1",			0xFF6347 },
	{ "tomato2",			0xEE5C42 },
	{ "tomato3",			0xCD4F39 },
	{ "tomato4",			0x8B3626 },
	{ "violet red",			0xD02090 },
	{ "violetred",			0xD02090 },
	{ "violetred1",			0xFF3E96 },
	{ "violetred2",			0xEE3A8C },
	{ "violetred3",			0xCD3278 },
	{ "violetred4",			0x8B2252 },
	{ "wheat1",			0xFFE7BA },
	{ "wheat2",			0xEED8AE },
	{ "wheat3",			0xCDBA96 },
	{ "wheat4",			0x8B7E66 },
	{ "white smoke",		0xF5F5F5 },
	{ "yellow1",			0xFFFF00 },
	{ "yellow2",			0xEEEE00 },
	{ "yellow3",			0xCDCD00 },
	{ "yellow4",			0x8B8B00 },
	{ "yellow green",		0x9ACD32 },
