29 .char \[radicalex] \h'-\w'\[sr]'u'\[radicalex]\h'\w'\[sr]'u'
30 .fchar \[sqrtex] \[radicalex]
31 .char \[mo] \h'.08m'\[mo]\h'-.08m'
32 .char \[nm] \h'.08m'\[nm]\h'-.08m'
33 .char \[parenlefttp] \[parenlefttp]\h'.016m'
34 .char \[parenleftbt] \[parenleftbt]\h'.016m'
35 .char \[parenleftex] \[parenleftex]\h'.016m'
36 .char \[parenrighttp] \[parenrighttp]\h'.016m'
37 .char \[parenrightbt] \[parenrightbt]\h'.016m'
38 .char \[parenrightex] \[parenrightex]\h'.016m'
40 .char \[or] \h'.1m'\Z'\D'l 0 -.675m''\h'.1m'
42 .\" This is designed so that \(ul, \(rn and \(br form corners.
43 .char \[ul] \v'.25m'\D'l .5m 0'\v'-.25m'
44 .char \[br] \Z'\v'.25m'\D'l 0 -1m''
45 .char \[rn] \v'-.75m'\D'l .5m 0'\v'.75m'
47 .char \[ru] \D'l .5m 0'
49 .fchar \[va] \o'\[ua]\[da]'
50 .fchar \[ci] \v'-.25m'\h'.05m'\D'c .5m'\h'.05m'\v'.25m'
51 .fchar \[sq] \h'.05m'\D'l .5m 0'\D'l 0 -.5m'\D'l -.5m 0'\D'l 0 .5m'\h'.55m'
59 .fchar \[tm] \s-3\v'-.3m'TM\v'+.3m'\s+3
61 .fchar \[<<] <\h'-.2m'<
62 .fchar \[>>] >\h'-.2m'>
63 .fchar \[|=] \v'.075m'\Z'\[mi]'\v'-.15m'\[ap]\v'.075m'
64 .fchar \[nc] \v'.1m'\Z'\h'.15m'\F[T]\f[R]/'\v'-.1m'\[sp]
65 .fchar \[ne] \v'.07m'\Z'\h'.13m'\F[T]\f[R]/'\v'-.07m'\[==]
66 .fchar \[-h] \F[T]\f[I]\v'-.53m'\Z'\h'.05m'\D'l .3m 0''\v'.53m'h
70 . \" Note that character definitions are always interpreted with
71 . \" compatibility mode off.
75 \h'(u;-\w'\\$2'-\w'\\$3'/2+\\En[skw]+(\w'x'*0)-\\En[skw])'\
76 \v'(u;\w'x'*0+\\En[rst]+(\w'\\$3'*0)-\\En[rst])'\
78 \v'(u;\w'x'*0-\\En[rst]+(\w'\\$3'*0)+\\En[rst])'\
83 .ps-achar \['C] \' C c
84 .ps-achar \['c] \' c c
88 \v'-.28m'\s[\\En[.s]*6u/10u]\\$1\s0\v'.28m'\
90 \s[\\En[.s]*6u/10u]\\$2
94 . fschar \\$1 \[\\$2\\$3] \
95 \Z'\v'-.28m'\s[\\En[.s]*5u/10u]\\$2\s0\v'.28m''\
96 \Z'\h'.35m'\s[\\En[.s]*5u/10u]\\$3\s0'\
97 \h'.02m'\[f/]\h'-.02m'
117 .ps-frac-mono CBI 1 8
118 .ps-frac-mono CBI 3 8
119 .ps-frac-mono CBI 5 8
120 .ps-frac-mono CBI 7 8
122 .\" pic tests this register to see whether it should use \X'ps:...'
125 .\" now for color definitions
127 .\" this is a composite of MIT's X Consortium red/green/blue (rgb) color
128 .\" specifications, X Consortium version 10.41, 1994.
129 .defcolor black rgb #000000
130 .defcolor grey rgb #bebebe
131 .defcolor dimgrey rgb #696969
132 .defcolor lightgray rgb #d3d3d3
133 .defcolor lightslategrey rgb #778899
134 .defcolor slategray rgb #708090
135 .defcolor slategray1 rgb #c6e2ff
136 .defcolor slategray2 rgb #b9d3ee
137 .defcolor slategray3 rgb #9fb6cd
138 .defcolor slategray4 rgb #6c7b8b
139 .defcolor slategrey rgb #708090
140 .defcolor grey0 rgb #000000
141 .defcolor grey1 rgb #030303
142 .defcolor grey2 rgb #050505
143 .defcolor grey3 rgb #080808
144 .defcolor grey4 rgb #0a0a0a
145 .defcolor grey5 rgb #0d0d0d
146 .defcolor grey6 rgb #0f0f0f
147 .defcolor grey7 rgb #121212
148 .defcolor grey8 rgb #141414
149 .defcolor grey9 rgb #171717
150 .defcolor grey10 rgb #1a1a1a
151 .defcolor grey11 rgb #1c1c1c
152 .defcolor grey12 rgb #1f1f1f
153 .defcolor grey13 rgb #212121
154 .defcolor grey14 rgb #242424
155 .defcolor grey15 rgb #262626
156 .defcolor grey16 rgb #292929
157 .defcolor grey17 rgb #2b2b2b
158 .defcolor grey18 rgb #2e2e2e
159 .defcolor grey19 rgb #303030
160 .defcolor grey20 rgb #333333
161 .defcolor grey21 rgb #363636
162 .defcolor grey22 rgb #383838
163 .defcolor grey23 rgb #3b3b3b
164 .defcolor grey24 rgb #3d3d3d
165 .defcolor grey25 rgb #404040
166 .defcolor grey26 rgb #424242
167 .defcolor grey27 rgb #454545
168 .defcolor grey28 rgb #474747
169 .defcolor grey29 rgb #4a4a4a
170 .defcolor grey30 rgb #4d4d4d
171 .defcolor grey31 rgb #4f4f4f
172 .defcolor grey32 rgb #525252
173 .defcolor grey33 rgb #545454
174 .defcolor grey34 rgb #575757
175 .defcolor grey35 rgb #595959
176 .defcolor grey36 rgb #5c5c5c
177 .defcolor grey37 rgb #5e5e5e
178 .defcolor grey38 rgb #616161
179 .defcolor grey39 rgb #636363
180 .defcolor grey40 rgb #666666
181 .defcolor grey41 rgb #696969
182 .defcolor grey42 rgb #6b6b6b
183 .defcolor grey43 rgb #6e6e6e
184 .defcolor grey44 rgb #707070
185 .defcolor grey45 rgb #737373
186 .defcolor grey46 rgb #757575
187 .defcolor grey47 rgb #787878
188 .defcolor grey48 rgb #7a7a7a
189 .defcolor grey49 rgb #7d7d7d
190 .defcolor grey50 rgb #7f7f7f
191 .defcolor grey51 rgb #828282
192 .defcolor grey52 rgb #858585
193 .defcolor grey53 rgb #878787
194 .defcolor grey54 rgb #8a8a8a
195 .defcolor grey55 rgb #8c8c8c
196 .defcolor grey56 rgb #8f8f8f
197 .defcolor grey57 rgb #919191
198 .defcolor grey58 rgb #949494
199 .defcolor grey59 rgb #969696
200 .defcolor grey60 rgb #999999
201 .defcolor grey61 rgb #9c9c9c
202 .defcolor grey62 rgb #9e9e9e
203 .defcolor grey63 rgb #a1a1a1
204 .defcolor grey64 rgb #a3a3a3
205 .defcolor grey65 rgb #a6a6a6
206 .defcolor grey66 rgb #a8a8a8
207 .defcolor grey67 rgb #ababab
208 .defcolor grey68 rgb #adadad
209 .defcolor grey69 rgb #b0b0b0
210 .defcolor grey70 rgb #b3b3b3
211 .defcolor grey71 rgb #b5b5b5
212 .defcolor grey72 rgb #b8b8b8
213 .defcolor grey73 rgb #bababa
214 .defcolor grey74 rgb #bdbdbd
215 .defcolor grey75 rgb #bfbfbf
216 .defcolor grey76 rgb #c2c2c2
217 .defcolor grey77 rgb #c4c4c4
218 .defcolor grey78 rgb #c7c7c7
219 .defcolor grey79 rgb #c9c9c9
220 .defcolor grey80 rgb #cccccc
221 .defcolor grey81 rgb #cfcfcf
222 .defcolor grey82 rgb #d1d1d1
223 .defcolor grey83 rgb #d4d4d4
224 .defcolor grey84 rgb #d6d6d6
225 .defcolor grey85 rgb #d9d9d9
226 .defcolor grey86 rgb #dbdbdb
227 .defcolor grey87 rgb #dedede
228 .defcolor grey88 rgb #e0e0e0
229 .defcolor grey89 rgb #e3e3e3
230 .defcolor grey90 rgb #e5e5e5
231 .defcolor grey91 rgb #e8e8e8
232 .defcolor grey92 rgb #ebebeb
233 .defcolor grey93 rgb #ededed
234 .defcolor grey94 rgb #f0f0f0
235 .defcolor grey95 rgb #f2f2f2
236 .defcolor grey96 rgb #f5f5f5
237 .defcolor grey97 rgb #f7f7f7
238 .defcolor grey98 rgb #fafafa
239 .defcolor grey99 rgb #fcfcfc
240 .defcolor grey100 rgb #ffffff
241 .defcolor aliceblue rgb #f0f8ff
242 .defcolor blueviolet rgb #8a2be2
243 .defcolor cadetblue rgb #5f9ea0
244 .defcolor cadetblue1 rgb #98f5ff
245 .defcolor cadetblue2 rgb #8ee5ee
246 .defcolor cadetblue3 rgb #7ac5cd
247 .defcolor cadetblue4 rgb #53868b
248 .defcolor cornflowerblue rgb #6495ed
249 .defcolor darkslateblue rgb #483d8b
250 .defcolor darkturquoise rgb #00ced1
251 .defcolor deepskyblue rgb #00bfff
252 .defcolor deepskyblue1 rgb #00bfff
253 .defcolor deepskyblue2 rgb #00b2ee
254 .defcolor deepskyblue3 rgb #009acd
255 .defcolor deepskyblue4 rgb #00688b
256 .defcolor dodgerblue rgb #1e90ff
257 .defcolor dodgerblue1 rgb #1e90ff
258 .defcolor dodgerblue2 rgb #1c86ee
259 .defcolor dodgerblue3 rgb #1874cd
260 .defcolor dodgerblue4 rgb #104e8b
261 .defcolor lightblue rgb #add8e6
262 .defcolor lightblue1 rgb #bfefff
263 .defcolor lightblue2 rgb #b2dfee
264 .defcolor lightblue3 rgb #9ac0cd
265 .defcolor lightblue4 rgb #68838b
266 .defcolor lightcyan rgb #e0ffff
267 .defcolor lightcyan1 rgb #e0ffff
268 .defcolor lightcyan2 rgb #d1eeee
269 .defcolor lightcyan3 rgb #b4cdcd
270 .defcolor lightcyan4 rgb #7a8b8b
271 .defcolor lightskyblue rgb #87cefa
272 .defcolor lightskyblue1 rgb #b0e2ff
273 .defcolor lightskyblue2 rgb #a4d3ee
274 .defcolor lightskyblue3 rgb #8db6cd
275 .defcolor lightskyblue4 rgb #607b8b
276 .defcolor lightslateblue rgb #8470ff
277 .defcolor lightsteelblue rgb #b0c4de
278 .defcolor lightsteelblue1 rgb #cae1ff
279 .defcolor lightsteelblue2 rgb #bcd2ee
280 .defcolor lightsteelblue3 rgb #a2b5cd
281 .defcolor lightsteelblue4 rgb #6e7b8b
282 .defcolor mediumaquamarine rgb #66cdaa
283 .defcolor mediumblue rgb #0000cd
284 .defcolor mediumslateblue rgb #7b68ee
285 .defcolor mediumturquoise rgb #48d1cc
286 .defcolor midnightblue rgb #191970
287 .defcolor navyblue rgb #000080
288 .defcolor paleturquoise rgb #afeeee
289 .defcolor paleturquoise1 rgb #bbffff
290 .defcolor paleturquoise2 rgb #aeeeee
291 .defcolor paleturquoise3 rgb #96cdcd
292 .defcolor paleturquoise4 rgb #668b8b
293 .defcolor powderblue rgb #b0e0e6
294 .defcolor royalblue rgb #4169e1
295 .defcolor royalblue1 rgb #4876ff
296 .defcolor royalblue2 rgb #436eee
297 .defcolor royalblue3 rgb #3a5fcd
298 .defcolor royalblue4 rgb #27408b
299 .defcolor skyblue rgb #87ceeb
300 .defcolor skyblue1 rgb #87ceff
301 .defcolor skyblue2 rgb #7ec0ee
302 .defcolor skyblue3 rgb #6ca6cd
303 .defcolor skyblue4 rgb #4a708b
304 .defcolor slateblue rgb #6a5acd
305 .defcolor slateblue1 rgb #836fff
306 .defcolor slateblue2 rgb #7a67ee
307 .defcolor slateblue3 rgb #6959cd
308 .defcolor slateblue4 rgb #473c8b
309 .defcolor steelblue rgb #4682b4
310 .defcolor steelblue1 rgb #63b8ff
311 .defcolor steelblue2 rgb #5cacee
312 .defcolor steelblue3 rgb #4f94cd
313 .defcolor steelblue4 rgb #36648b
314 .defcolor aquamarine rgb #7fffd4
315 .defcolor aquamarine1 rgb #7fffd4
316 .defcolor aquamarine2 rgb #76eec6
317 .defcolor aquamarine3 rgb #66cdaa
318 .defcolor aquamarine4 rgb #458b74
319 .defcolor azure rgb #f0ffff
320 .defcolor azure1 rgb #f0ffff
321 .defcolor azure2 rgb #e0eeee
322 .defcolor azure3 rgb #c1cdcd
323 .defcolor azure4 rgb #838b8b
324 .defcolor blue rgb #0000ff
325 .defcolor blue1 rgb #0000ff
326 .defcolor blue2 rgb #0000ee
327 .defcolor blue3 rgb #0000cd
328 .defcolor blue4 rgb #00008b
329 .defcolor cyan rgb #00ffff
330 .defcolor cyan1 rgb #00ffff
331 .defcolor cyan2 rgb #00eeee
332 .defcolor cyan3 rgb #00cdcd
333 .defcolor cyan4 rgb #008b8b
334 .defcolor navy rgb #000080
335 .defcolor turquoise rgb #40e0d0
336 .defcolor turquoise1 rgb #00f5ff
337 .defcolor turquoise2 rgb #00e5ee
338 .defcolor turquoise3 rgb #00c5cd
339 .defcolor turquoise4 rgb #00868b
340 .defcolor darkslategray rgb #2f4f4f
341 .defcolor darkslategray1 rgb #97ffff
342 .defcolor darkslategray2 rgb #8deeee
343 .defcolor darkslategray3 rgb #79cdcd
344 .defcolor darkslategray4 rgb #528b8b
345 .defcolor rosybrown rgb #bc8f8f
346 .defcolor rosybrown1 rgb #ffc1c1
347 .defcolor rosybrown2 rgb #eeb4b4
348 .defcolor rosybrown3 rgb #cd9b9b
349 .defcolor rosybrown4 rgb #8b6969
350 .defcolor saddlebrown rgb #8b4513
351 .defcolor sandybrown rgb #f4a460
352 .defcolor beige rgb #f5f5dc
353 .defcolor brown rgb #a52a2a
354 .defcolor brown1 rgb #ff4040
355 .defcolor brown2 rgb #ee3b3b
356 .defcolor brown3 rgb #cd3333
357 .defcolor brown4 rgb #8b2323
358 .defcolor burlywood rgb #deb887
359 .defcolor burlywood1 rgb #ffd39b
360 .defcolor burlywood2 rgb #eec591
361 .defcolor burlywood3 rgb #cdaa7d
362 .defcolor burlywood4 rgb #8b7355
363 .defcolor chocolate rgb #d2691e
364 .defcolor chocolate1 rgb #ff7f24
365 .defcolor chocolate2 rgb #ee7621
366 .defcolor chocolate3 rgb #cd661d
367 .defcolor chocolate4 rgb #8b4513
368 .defcolor peru rgb #cd853f
369 .defcolor tan rgb #d2b48c
370 .defcolor tan1 rgb #ffa54f
371 .defcolor tan2 rgb #ee9a49
372 .defcolor tan3 rgb #cd853f
373 .defcolor tan4 rgb #8b5a2b
374 .defcolor darkgreen rgb #006400
375 .defcolor darkkhaki rgb #bdb76b
376 .defcolor darkolivegreen rgb #556b2f
377 .defcolor darkolivegreen1 rgb #caff70
378 .defcolor darkolivegreen2 rgb #bcee68
379 .defcolor darkolivegreen3 rgb #a2cd5a
380 .defcolor darkolivegreen4 rgb #6e8b3d
381 .defcolor darkseagreen rgb #8fbc8f
382 .defcolor darkseagreen1 rgb #c1ffc1
383 .defcolor darkseagreen2 rgb #b4eeb4
384 .defcolor darkseagreen3 rgb #9bcd9b
385 .defcolor darkseagreen4 rgb #698b69
386 .defcolor forestgreen rgb #228b22
387 .defcolor greenyellow rgb #adff2f
388 .defcolor lawngreen rgb #7cfc00
389 .defcolor lightseagreen rgb #20b2aa
390 .defcolor limegreen rgb #32cd32
391 .defcolor mediumseagreen rgb #3cb371
392 .defcolor mediumspringgreen rgb #00fa9a
393 .defcolor mintcream rgb #f5fffa
394 .defcolor olivedrab rgb #6b8e23
395 .defcolor olivedrab1 rgb #c0ff3e
396 .defcolor olivedrab2 rgb #b3ee3a
397 .defcolor olivedrab3 rgb #9acd32
398 .defcolor olivedrab4 rgb #698b22
399 .defcolor palegreen rgb #98fb98
400 .defcolor palegreen1 rgb #9aff9a
401 .defcolor palegreen2 rgb #90ee90
402 .defcolor palegreen3 rgb #7ccd7c
403 .defcolor palegreen4 rgb #548b54
404 .defcolor seagreen rgb #2e8b57
405 .defcolor seagreen1 rgb #54ff9f
406 .defcolor seagreen2 rgb #4eee94
407 .defcolor seagreen3 rgb #43cd80
408 .defcolor seagreen4 rgb #2e8b57
409 .defcolor springgreen rgb #00ff7f
410 .defcolor springgreen1 rgb #00ff7f
411 .defcolor springgreen2 rgb #00ee76
412 .defcolor springgreen3 rgb #00cd66
413 .defcolor springgreen4 rgb #008b45
414 .defcolor yellowgreen rgb #9acd32
415 .defcolor chartreuse rgb #7fff00
416 .defcolor chartreuse1 rgb #7fff00
417 .defcolor chartreuse2 rgb #76ee00
418 .defcolor chartreuse3 rgb #66cd00
419 .defcolor chartreuse4 rgb #458b00
420 .defcolor green rgb #00ff00
421 .defcolor green1 rgb #00ff00
422 .defcolor green2 rgb #00ee00
423 .defcolor green3 rgb #00cd00
424 .defcolor green4 rgb #008b00
425 .defcolor khaki rgb #f0e68c
426 .defcolor khaki1 rgb #fff68f
427 .defcolor khaki2 rgb #eee685
428 .defcolor khaki3 rgb #cdc673
429 .defcolor khaki4 rgb #8b864e
430 .defcolor darkorange rgb #ff8c00
431 .defcolor darkorange1 rgb #ff7f00
432 .defcolor darkorange2 rgb #ee7600
433 .defcolor darkorange3 rgb #cd6600
434 .defcolor darkorange4 rgb #8b4500
435 .defcolor darksalmon rgb #e9967a
436 .defcolor lightcoral rgb #f08080
437 .defcolor lightsalmon rgb #ffa07a
438 .defcolor lightsalmon1 rgb #ffa07a
439 .defcolor lightsalmon2 rgb #ee9572
440 .defcolor lightsalmon3 rgb #cd8162
441 .defcolor lightsalmon4 rgb #8b5742
442 .defcolor peachpuff rgb #ffdab9
443 .defcolor peachpuff1 rgb #ffdab9
444 .defcolor peachpuff2 rgb #eecbad
445 .defcolor peachpuff3 rgb #cdaf95
446 .defcolor peachpuff4 rgb #8b7765
447 .defcolor bisque rgb #ffe4c4
448 .defcolor bisque1 rgb #ffe4c4
449 .defcolor bisque2 rgb #eed5b7
450 .defcolor bisque3 rgb #cdb79e
451 .defcolor bisque4 rgb #8b7d6b
452 .defcolor coral rgb #ff7f50
453 .defcolor coral1 rgb #ff7256
454 .defcolor coral2 rgb #ee6a50
455 .defcolor coral3 rgb #cd5b45
456 .defcolor coral4 rgb #8b3e2f
457 .defcolor honeydew rgb #f0fff0
458 .defcolor honeydew1 rgb #f0fff0
459 .defcolor honeydew2 rgb #e0eee0
460 .defcolor honeydew3 rgb #c1cdc1
461 .defcolor honeydew4 rgb #838b83
462 .defcolor orange rgb #ffa500
463 .defcolor orange1 rgb #ffa500
464 .defcolor orange2 rgb #ee9a00
465 .defcolor orange3 rgb #cd8500
466 .defcolor orange4 rgb #8b5a00
467 .defcolor salmon rgb #fa8072
468 .defcolor salmon1 rgb #ff8c69
469 .defcolor salmon2 rgb #ee8262
470 .defcolor salmon3 rgb #cd7054
471 .defcolor salmon4 rgb #8b4c39
472 .defcolor sienna rgb #a0522d
473 .defcolor sienna1 rgb #ff8247
474 .defcolor sienna2 rgb #ee7942
475 .defcolor sienna3 rgb #cd6839
476 .defcolor sienna4 rgb #8b4726
477 .defcolor deeppink rgb #ff1493
478 .defcolor deeppink1 rgb #ff1493
479 .defcolor deeppink2 rgb #ee1289
480 .defcolor deeppink3 rgb #cd1076
481 .defcolor deeppink4 rgb #8b0a50
482 .defcolor hotpink rgb #ff69b4
483 .defcolor hotpink1 rgb #ff6eb4
484 .defcolor hotpink2 rgb #ee6aa7
485 .defcolor hotpink3 rgb #cd6090
486 .defcolor hotpink4 rgb #8b3a62
487 .defcolor indianred rgb #cd5c5c
488 .defcolor indianred1 rgb #ff6a6a
489 .defcolor indianred2 rgb #ee6363
490 .defcolor indianred3 rgb #cd5555
491 .defcolor indianred4 rgb #8b3a3a
492 .defcolor lightpink rgb #ffb6c1
493 .defcolor lightpink1 rgb #ffaeb9
494 .defcolor lightpink2 rgb #eea2ad
495 .defcolor lightpink3 rgb #cd8c95
496 .defcolor lightpink4 rgb #8b5f65
497 .defcolor mediumvioletred rgb #c71585
498 .defcolor mistyrose rgb #ffe4e1
499 .defcolor mistyrose1 rgb #ffe4e1
500 .defcolor mistyrose2 rgb #eed5d2
501 .defcolor mistyrose3 rgb #cdb7b5
502 .defcolor mistyrose4 rgb #8b7d7b
503 .defcolor orangered rgb #ff4500
504 .defcolor orangered1 rgb #ff4500
505 .defcolor orangered2 rgb #ee4000
506 .defcolor orangered3 rgb #cd3700
507 .defcolor orangered4 rgb #8b2500
508 .defcolor palevioletred rgb #db7093
509 .defcolor palevioletred1 rgb #ff82ab
510 .defcolor palevioletred2 rgb #ee799f
511 .defcolor palevioletred3 rgb #cd6889
512 .defcolor palevioletred4 rgb #8b475d
513 .defcolor violetred rgb #d02090
514 .defcolor violetred1 rgb #ff3e96
515 .defcolor violetred2 rgb #ee3a8c
516 .defcolor violetred3 rgb #cd3278
517 .defcolor violetred4 rgb #8b2252
518 .defcolor firebrick rgb #b22222
519 .defcolor firebrick1 rgb #ff3030
520 .defcolor firebrick2 rgb #ee2c2c
521 .defcolor firebrick3 rgb #cd2626
522 .defcolor firebrick4 rgb #8b1a1a
523 .defcolor pink rgb #ffc0cb
524 .defcolor pink1 rgb #ffb5c5
525 .defcolor pink2 rgb #eea9b8
526 .defcolor pink3 rgb #cd919e
527 .defcolor pink4 rgb #8b636c
528 .defcolor red rgb #ff0000
529 .defcolor red1 rgb #ff0000
530 .defcolor red2 rgb #ee0000
531 .defcolor red3 rgb #cd0000
532 .defcolor red4 rgb #8b0000
533 .defcolor tomato rgb #ff6347
534 .defcolor tomato1 rgb #ff6347
535 .defcolor tomato2 rgb #ee5c42
536 .defcolor tomato3 rgb #cd4f39
537 .defcolor tomato4 rgb #8b3626
538 .defcolor darkorchid rgb #9932cc
539 .defcolor darkorchid1 rgb #bf3eff
540 .defcolor darkorchid2 rgb #b23aee
541 .defcolor darkorchid3 rgb #9a32cd
542 .defcolor darkorchid4 rgb #68228b
543 .defcolor darkviolet rgb #9400d3
544 .defcolor lavenderblush rgb #fff0f5
545 .defcolor lavenderblush1 rgb #fff0f5
546 .defcolor lavenderblush2 rgb #eee0e5
547 .defcolor lavenderblush3 rgb #cdc1c5
548 .defcolor lavenderblush4 rgb #8b8386
549 .defcolor mediumorchid rgb #ba55d3
550 .defcolor mediumorchid1 rgb #e066ff
551 .defcolor mediumorchid2 rgb #d15fee
552 .defcolor mediumorchid3 rgb #b452cd
553 .defcolor mediumorchid4 rgb #7a378b
554 .defcolor mediumpurple rgb #9370db
555 .defcolor mediumpurple1 rgb #ab82ff
556 .defcolor mediumpurple2 rgb #9f79ee
557 .defcolor mediumpurple3 rgb #8968cd
558 .defcolor mediumpurple4 rgb #5d478b
559 .defcolor lavender rgb #e6e6fa
560 .defcolor magenta rgb #ff00ff
561 .defcolor magenta1 rgb #ff00ff
562 .defcolor magenta2 rgb #ee00ee
563 .defcolor magenta3 rgb #cd00cd
564 .defcolor magenta4 rgb #8b008b
565 .defcolor maroon rgb #b03060
566 .defcolor maroon1 rgb #ff34b3
567 .defcolor maroon2 rgb #ee30a7
568 .defcolor maroon3 rgb #cd2990
569 .defcolor maroon4 rgb #8b1c62
570 .defcolor orchid rgb #da70d6
571 .defcolor orchid1 rgb #ff83fa
572 .defcolor orchid2 rgb #ee7ae9
573 .defcolor orchid3 rgb #cd69c9
574 .defcolor orchid4 rgb #8b4789
575 .defcolor plum rgb #dda0dd
576 .defcolor plum1 rgb #ffbbff
577 .defcolor plum2 rgb #eeaeee
578 .defcolor plum3 rgb #cd96cd
579 .defcolor plum4 rgb #8b668b
580 .defcolor purple rgb #a020f0
581 .defcolor purple1 rgb #9b30ff
582 .defcolor purple2 rgb #912cee
583 .defcolor purple3 rgb #7d26cd
584 .defcolor purple4 rgb #551a8b
585 .defcolor thistle rgb #d8bfd8
586 .defcolor thistle1 rgb #ffe1ff
587 .defcolor thistle2 rgb #eed2ee
588 .defcolor thistle3 rgb #cdb5cd
589 .defcolor thistle4 rgb #8b7b8b
590 .defcolor violet rgb #ee82ee
591 .defcolor antiquewhite rgb #faebd7
592 .defcolor antiquewhite1 rgb #ffefdb
593 .defcolor antiquewhite2 rgb #eedfcc
594 .defcolor antiquewhite3 rgb #cdc0b0
595 .defcolor antiquewhite4 rgb #8b8378
596 .defcolor floralwhite rgb #fffaf0
597 .defcolor ghostwhite rgb #f8f8ff
598 .defcolor navajowhite rgb #ffdead
599 .defcolor navajowhite1 rgb #ffdead
600 .defcolor navajowhite2 rgb #eecfa1
601 .defcolor navajowhite3 rgb #cdb38b
602 .defcolor navajowhite4 rgb #8b795e
603 .defcolor oldlace rgb #fdf5e6
604 .defcolor whitesmoke rgb #f5f5f5
605 .defcolor gainsboro rgb #dcdcdc
606 .defcolor ivory rgb #fffff0
607 .defcolor ivory1 rgb #fffff0
608 .defcolor ivory2 rgb #eeeee0
609 .defcolor ivory3 rgb #cdcdc1
610 .defcolor ivory4 rgb #8b8b83
611 .defcolor linen rgb #faf0e6
612 .defcolor seashell rgb #fff5ee
613 .defcolor seashell1 rgb #fff5ee
614 .defcolor seashell2 rgb #eee5de
615 .defcolor seashell3 rgb #cdc5bf
616 .defcolor seashell4 rgb #8b8682
617 .defcolor snow rgb #fffafa
618 .defcolor snow1 rgb #fffafa
619 .defcolor snow2 rgb #eee9e9
620 .defcolor snow3 rgb #cdc9c9
621 .defcolor snow4 rgb #8b8989
622 .defcolor wheat rgb #f5deb3
623 .defcolor wheat1 rgb #ffe7ba
624 .defcolor wheat2 rgb #eed8ae
625 .defcolor wheat3 rgb #cdba96
626 .defcolor wheat4 rgb #8b7e66
627 .defcolor white rgb #ffffff
628 .defcolor blanchedalmond rgb #ffebcd
629 .defcolor darkgoldenrod rgb #b8860b
630 .defcolor darkgoldenrod1 rgb #ffb90f
631 .defcolor darkgoldenrod2 rgb #eead0e
632 .defcolor darkgoldenrod3 rgb #cd950c
633 .defcolor darkgoldenrod4 rgb #8b6508
634 .defcolor lemonchiffon rgb #fffacd
635 .defcolor lemonchiffon1 rgb #fffacd
636 .defcolor lemonchiffon2 rgb #eee9bf
637 .defcolor lemonchiffon3 rgb #cdc9a5
638 .defcolor lemonchiffon4 rgb #8b8970
639 .defcolor lightgoldenrod rgb #eedd82
640 .defcolor lightgoldenrod1 rgb #ffec8b
641 .defcolor lightgoldenrod2 rgb #eedc82
642 .defcolor lightgoldenrod3 rgb #cdbe70
643 .defcolor lightgoldenrod4 rgb #8b814c
644 .defcolor lightgoldenrodyellow rgb #fafad2
645 .defcolor lightyellow rgb #ffffe0
646 .defcolor lightyellow1 rgb #ffffe0
647 .defcolor lightyellow2 rgb #eeeed1
648 .defcolor lightyellow3 rgb #cdcdb4
649 .defcolor lightyellow4 rgb #8b8b7a
650 .defcolor palegoldenrod rgb #eee8aa
651 .defcolor papayawhip rgb #ffefd5
652 .defcolor cornsilk rgb #fff8dc
653 .defcolor cornsilk1 rgb #fff8dc
654 .defcolor cornsilk2 rgb #eee8cd
655 .defcolor cornsilk3 rgb #cdc8b1
656 .defcolor cornsilk4 rgb #8b8878
657 .defcolor gold rgb #ffd700
658 .defcolor gold1 rgb #ffd700
659 .defcolor gold2 rgb #eec900
660 .defcolor gold3 rgb #cdad00
661 .defcolor gold4 rgb #8b7500
662 .defcolor goldenrod rgb #daa520
663 .defcolor goldenrod1 rgb #ffc125
664 .defcolor goldenrod2 rgb #eeb422
665 .defcolor goldenrod3 rgb #cd9b1d
666 .defcolor goldenrod4 rgb #8b6914
667 .defcolor moccasin rgb #ffe4b5
668 .defcolor yellow rgb #ffff00
669 .defcolor yellow1 rgb #ffff00
670 .defcolor yellow2 rgb #eeee00
671 .defcolor yellow3 rgb #cdcd00
672 .defcolor yellow4 rgb #8b8b00
679 .do ie '\[char97]'a' \
686 .\" make sure that no blank lines creep in at the end of this file.