dvipsColors top-level constant
xcolor's dvipsnames: the 68 colours of the dvips driver, which
graphics' drivers.dtx defines in cmyk, converted to rgb as xcolor
converts (1 − min(1, c + k)). Their names are case-sensitive, as in
LaTeX, and win over the CSS colour spelt with the same letters:
Green is dvips' #00FF00, green CSS's #008000 (as in MathJax, whose
capitalised names are the dvips colours).
Implementation
const Map<String, int> dvipsColors = {
'GreenYellow': 0xD9FF4F, // cmyk 0.15,0,0.69,0
'Yellow': 0xFFFF00, // cmyk 0,0,1,0
'Goldenrod': 0xFFE629, // cmyk 0,0.10,0.84,0
'Dandelion': 0xFFB529, // cmyk 0,0.29,0.84,0
'Apricot': 0xFFAD7A, // cmyk 0,0.32,0.52,0
'Peach': 0xFF804D, // cmyk 0,0.50,0.70,0
'Melon': 0xFF8A80, // cmyk 0,0.46,0.50,0
'YellowOrange': 0xFF9400, // cmyk 0,0.42,1,0
'Orange': 0xFF6321, // cmyk 0,0.61,0.87,0
'BurntOrange': 0xFF7D00, // cmyk 0,0.51,1,0
'Bittersweet': 0xC20300, // cmyk 0,0.75,1,0.24
'RedOrange': 0xFF3B21, // cmyk 0,0.77,0.87,0
'Mahogany': 0xA60000, // cmyk 0,0.85,0.87,0.35
'Maroon': 0xAD0000, // cmyk 0,0.87,0.68,0.32
'BrickRed': 0xB80000, // cmyk 0,0.89,0.94,0.28
'Red': 0xFF0000, // cmyk 0,1,1,0
'OrangeRed': 0xFF0080, // cmyk 0,1,0.50,0
'RubineRed': 0xFF00DE, // cmyk 0,1,0.13,0
'WildStrawberry': 0xFF0A9C, // cmyk 0,0.96,0.39,0
'Salmon': 0xFF789E, // cmyk 0,0.53,0.38,0
'CarnationPink': 0xFF5EFF, // cmyk 0,0.63,0,0
'Magenta': 0xFF00FF, // cmyk 0,1,0,0
'VioletRed': 0xFF30FF, // cmyk 0,0.81,0,0
'Rhodamine': 0xFF2EFF, // cmyk 0,0.82,0,0
'Mulberry': 0xA314FA, // cmyk 0.34,0.90,0,0.02
'RedViolet': 0x9600A8, // cmyk 0.07,0.90,0,0.34
'Fuchsia': 0x7303EB, // cmyk 0.47,0.91,0,0.08
'Lavender': 0xFF85FF, // cmyk 0,0.48,0,0
'Thistle': 0xE069FF, // cmyk 0.12,0.59,0,0
'Orchid': 0xAD5CFF, // cmyk 0.32,0.64,0,0
'DarkOrchid': 0x9933CC, // cmyk 0.40,0.80,0.20,0
'Purple': 0x8C24FF, // cmyk 0.45,0.86,0,0
'Plum': 0x8000FF, // cmyk 0.50,1,0,0
'Violet': 0x361FFF, // cmyk 0.79,0.88,0,0
'RoyalPurple': 0x4019FF, // cmyk 0.75,0.90,0,0
'BlueViolet': 0x190DF5, // cmyk 0.86,0.91,0,0.04
'Periwinkle': 0x6E73FF, // cmyk 0.57,0.55,0,0
'CadetBlue': 0x616EC4, // cmyk 0.62,0.57,0.23,0
'CornflowerBlue': 0x59DEFF, // cmyk 0.65,0.13,0,0
'MidnightBlue': 0x007091, // cmyk 0.98,0.13,0,0.43
'NavyBlue': 0x0F75FF, // cmyk 0.94,0.54,0,0
'RoyalBlue': 0x0080FF, // cmyk 1,0.50,0,0
'Blue': 0x0000FF, // cmyk 1,1,0,0
'Cerulean': 0x0FE3FF, // cmyk 0.94,0.11,0,0
'Cyan': 0x00FFFF, // cmyk 1,0,0,0
'ProcessBlue': 0x0AFFFF, // cmyk 0.96,0,0,0
'SkyBlue': 0x61FFE0, // cmyk 0.62,0,0.12,0
'Turquoise': 0x26FFCC, // cmyk 0.85,0,0.20,0
'TealBlue': 0x1FFAA3, // cmyk 0.86,0,0.34,0.02
'Aquamarine': 0x2EFFB2, // cmyk 0.82,0,0.30,0
'BlueGreen': 0x26FFAB, // cmyk 0.85,0,0.33,0
'Emerald': 0x00FF80, // cmyk 1,0,0.50,0
'JungleGreen': 0x03FF7A, // cmyk 0.99,0,0.52,0
'SeaGreen': 0x4FFF80, // cmyk 0.69,0,0.50,0
'Green': 0x00FF00, // cmyk 1,0,1,0
'ForestGreen': 0x00E000, // cmyk 0.91,0,0.88,0.12
'PineGreen': 0x00BF29, // cmyk 0.92,0,0.59,0.25
'LimeGreen': 0x80FF00, // cmyk 0.50,0,1,0
'YellowGreen': 0x8FFF42, // cmyk 0.44,0,0.74,0
'SpringGreen': 0xBDFF3D, // cmyk 0.26,0,0.76,0
'OliveGreen': 0x009900, // cmyk 0.64,0,0.95,0.40
'RawSienna': 0x8C0000, // cmyk 0,0.72,1,0.45
'Sepia': 0x4D0000, // cmyk 0,0.83,1,0.70
'Brown': 0x660000, // cmyk 0,0.81,1,0.60
'Tan': 0xDB9470, // cmyk 0.14,0.42,0.56,0
'Gray': 0x808080, // cmyk 0,0,0,0.50
'Black': 0x000000, // cmyk 0,0,0,1
'White': 0xFFFFFF, // cmyk 0,0,0,0
};