/* 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 },