1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
|
(* Standard CSS Colours *)
open Pdfutil
let colours =
map
(fun (a, b) -> (String.lowercase_ascii b, a))
[(0xF0F8FF, "AliceBlue");
(0xFAEBD7, "AntiqueWhite");
(0x00FFFF, "Aqua");
(0x7FFFD4, "Aquamarine");
(0xF0FFFF, "Azure");
(0xF5F5DC, "Beige");
(0xFFE4C4, "Bisque");
(0x000000, "Black");
(0xFFEBCD, "BlanchedAlmond");
(0x0000FF, "Blue");
(0x8A2BE2, "BlueViolet");
(0xA52A2A, "Brown");
(0xDEB887, "BurlyWood");
(0x5F9EA0, "CadetBlue");
(0x7FFF00, "Chartreuse");
(0xD2691E, "Chocolate");
(0xFF7F50, "Coral");
(0x6495ED, "CornflowerBlue");
(0xFFF8DC, "Cornsilk");
(0xDC143C, "Crimson");
(0x00FFFF, "Cyan");
(0x00008B, "DarkBlue");
(0x008B8B, "DarkCyan");
(0xB8860B, "DarkGoldenRod");
(0xA9A9A9, "DarkGray");
(0xA9A9A9, "DarkGrey");
(0x006400, "DarkGreen");
(0xBDB76B, "DarkKhaki");
(0x8B008B, "DarkMagenta");
(0x556B2F, "DarkOliveGreen");
(0xFF8C00, "DarkOrange");
(0x9932CC, "DarkOrchid");
(0x8B0000, "DarkRed");
(0xE9967A, "DarkSalmon");
(0x8FBC8F, "DarkSeaGreen");
(0x483D8B, "DarkSlateBlue");
(0x2F4F4F, "DarkSlateGray");
(0x2F4F4F, "DarkSlateGrey");
(0x00CED1, "DarkTurquoise");
(0x9400D3, "DarkViolet");
(0xFF1493, "DeepPink");
(0x00BFFF, "DeepSkyBlue");
(0x696969, "DimGray");
(0x696969, "DimGrey");
(0x1E90FF, "DodgerBlue");
(0xB22222, "FireBrick");
(0xFFFAF0, "FloralWhite");
(0x228B22, "ForestGreen");
(0xFF00FF, "Fuchsia");
(0xDCDCDC, "Gainsboro");
(0xF8F8FF, "GhostWhite");
(0xFFD700, "Gold");
(0xDAA520, "GoldenRod");
(0x808080, "Gray");
(0x808080, "Grey");
(0x008000, "Green");
(0xADFF2F, "GreenYellow");
(0xF0FFF0, "HoneyDew");
(0xFF69B4, "HotPink");
(0xCD5C5C, "IndianRed");
(0x4B0082, "Indigo");
(0xFFFFF0, "Ivory");
(0xF0E68C, "Khaki");
(0xE6E6FA, "Lavender");
(0xFFF0F5, "LavenderBlush");
(0x7CFC00, "LawnGreen");
(0xFFFACD, "LemonChiffon");
(0xADD8E6, "LightBlue");
(0xF08080, "LightCoral");
(0xE0FFFF, "LightCyan");
(0xFAFAD2, "LightGoldenRodYellow");
(0xD3D3D3, "LightGray");
(0xD3D3D3, "LightGrey");
(0x90EE90, "LightGreen");
(0xFFB6C1, "LightPink");
(0xFFA07A, "LightSalmon");
(0x20B2AA, "LightSeaGreen");
(0x87CEFA, "LightSkyBlue");
(0x778899, "LightSlateGray");
(0x778899, "LightSlateGrey");
(0xB0C4DE, "LightSteelBlue");
(0xFFFFE0, "LightYellow");
(0x00FF00, "Lime");
(0x32CD32, "LimeGreen");
(0xFAF0E6, "Linen");
(0xFF00FF, "Magenta");
(0x800000, "Maroon");
(0x66CDAA, "MediumAquaMarine");
(0x0000CD, "MediumBlue");
(0xBA55D3, "MediumOrchid");
(0x9370DB, "MediumPurple");
(0x3CB371, "MediumSeaGreen");
(0x7B68EE, "MediumSlateBlue");
(0x00FA9A, "MediumSpringGreen");
(0x48D1CC, "MediumTurquoise");
(0xC71585, "MediumVioletRed");
(0x191970, "MidnightBlue");
(0xF5FFFA, "MintCream");
(0xFFE4E1, "MistyRose");
(0xFFE4B5, "Moccasin");
(0xFFDEAD, "NavajoWhite");
(0x000080, "Navy");
(0xFDF5E6, "OldLace");
(0x808000, "Olive");
(0x6B8E23, "OliveDrab");
(0xFFA500, "Orange");
(0xFF4500, "OrangeRed");
(0xDA70D6, "Orchid");
(0xEEE8AA, "PaleGoldenRod");
(0x98FB98, "PaleGreen");
(0xAFEEEE, "PaleTurquoise");
(0xDB7093, "PaleVioletRed");
(0xFFEFD5, "PapayaWhip");
(0xFFDAB9, "PeachPuff");
(0xCD853F, "Peru");
(0xFFC0CB, "Pink");
(0xDDA0DD, "Plum");
(0xB0E0E6, "PowderBlue");
(0x800080, "Purple");
(0x663399, "RebeccaPurple");
(0xFF0000, "Red");
(0xBC8F8F, "RosyBrown");
(0x4169E1, "RoyalBlue");
(0x8B4513, "SaddleBrown");
(0xFA8072, "Salmon");
(0xF4A460, "SandyBrown");
(0x2E8B57, "SeaGreen");
(0xFFF5EE, "SeaShell");
(0xA0522D, "Sienna");
(0xC0C0C0, "Silver");
(0x87CEEB, "SkyBlue");
(0x6A5ACD, "SlateBlue");
(0x708090, "SlateGray");
(0x708090, "SlateGrey");
(0xFFFAFA, "Snow");
(0x00FF7F, "SpringGreen");
(0x4682B4, "SteelBlue");
(0xD2B48C, "Tan");
(0x008080, "Teal");
(0xD8BFD8, "Thistle");
(0xFF6347, "Tomato");
(0x40E0D0, "Turquoise");
(0xEE82EE, "Violet");
(0xF5DEB3, "Wheat");
(0xFFFFFF, "White");
(0xF5F5F5, "WhiteSmoke");
(0xFFFF00, "Yellow");
(0x9ACD32, "YellowGreen")]
|
