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