24 .\" remove hyphenation
31 .\" Now set any characters defined in devps/S but not in devhtml/S to nul --
32 .\" these are generated by eqn but not used by grohtml. grops generated
33 .\" images during the alternative pass.
67 .if !c\[radicalex] .tr \[radicalex]
100 .if !c\[Fn] .tr \[Fn]
101 .if !c\[CL] .tr \[CL]
102 .if !c\[DI] .tr \[DI]
103 .if !c\[HE] .tr \[HE]
104 .if !c\[SP] .tr \[SP]
105 .if !c\[<>] .tr \[<>]
106 .if !c\[<-] .tr \[<-]
107 .if !c\[ua] .tr \[ua]
108 .\" .if !c\[arrowverttp] .tr \[arrowverttp]
109 .if !c\[->] .tr \[->]
110 .if !c\[da] .tr \[da]
111 .\" .if !c\[arrowvertbt] .tr \[arrowvertbt]
112 .if !c\[de] .tr \[de]
113 .if !c\[sd] .tr \[sd]
114 .if !c\[>=] .tr \[>=]
115 .if !c\[pt] .tr \[pt]
116 .if !c\[pd] .tr \[pd]
117 .if !c\[bu] .tr \[bu]
118 .if !c\[di] .tr \[di]
119 .if !c\[!=] .tr \[!=]
120 .if !c\[==] .tr \[==]
121 .if !c\[~~] .tr \[~~]
122 .if !c\[~=] .tr \[~=]
123 .\" .if !c\[arrowvertex] .tr \[arrowvertex]
124 .if !c\[an] .tr \[an]
125 .if !c\[CR] .tr \[CR]
126 .if !c\[Ah] .tr \[Ah]
127 .if !c\[Im] .tr \[Im]
128 .if !c\[Re] .tr \[Re]
129 .if !c\[wp] .tr \[wp]
130 .if !c\[c*] .tr \[c*]
131 .if !c\[c+] .tr \[c+]
132 .if !c\[es] .tr \[es]
133 .if !c\[ca] .tr \[ca]
134 .if !c\[cu] .tr \[cu]
135 .if !c\[sp] .tr \[sp]
136 .if !c\[ip] .tr \[ip]
137 .if !c\[nb] .tr \[nb]
138 .if !c\[sb] .tr \[sb]
139 .if !c\[ib] .tr \[ib]
140 .if !c\[mo] .tr \[mo]
141 .if !c\[nm] .tr \[nm]
142 .if !c\[/_] .tr \[/_]
143 .if !c\[gr] .tr \[gr]
144 .\" .if !c\[product] .tr \[product]
145 .if !c\[sr] .tr \[sr]
146 .if !c\[md] .tr \[md]
147 .if !c\[no] .tr \[no]
148 .if !c\[AN] .tr \[AN]
149 .if !c\[OR] .tr \[OR]
150 .if !c\[hA] .tr \[hA]
151 .if !c\[lA] .tr \[lA]
152 .if !c\[uA] .tr \[uA]
153 .if !c\[rA] .tr \[rA]
154 .if !c\[dA] .tr \[dA]
155 .if !c\[lz] .tr \[lz]
156 .if !c\[la] .tr \[la]
157 .if !c\[sum] .tr \[sum]
158 .\" .if !c\[parenlefttp] .tr \[parenlefttp]
159 .\" .if !c\[parenleftex] .tr \[parenleftex]
160 .\" .if !c\[parenleftbt] .tr \[parenleftbt]
161 .\" .if !c\[bracketlefttp] .tr \[bracketlefttp]
162 .if !c\[lc] .tr \[lc]
163 .\" .if !c\[bracketleftex] .tr \[bracketleftex]
164 .\" .if !c\[bracketleftbt] .tr \[bracketleftbt]
165 .if !c\[lf] .tr \[lf]
166 .\" .if !c\[bracelefttp] .tr \[bracelefttp]
167 .if !c\[lt] .tr \[lt]
168 .\" .if !c\[braceleftmid] .tr \[braceleftmid]
169 .if !c\[lk] .tr \[lk]
170 .\" .if !c\[braceleftbt] .tr \[braceleftbt]
171 .if !c\[lb] .tr \[lb]
172 .\" .if !c\[braceex] .tr \[braceex]
173 .\" .if !c\[bracerightex] .tr \[bracerightex]
174 .\" .if !c\[braceleftex] .tr \[braceleftex]
175 .\" .if !c\[barex] .tr \[barex]
176 .if !c\[bv] .tr \[bv]
177 .if !c\[ra] .tr \[ra]
178 .if !c\[is] .tr \[is]
179 .\" .if !c\[parenrighttp] .tr \[parenrighttp]
180 .\" .if !c\[parenrightex] .tr \[parenrightex]
181 .\" .if !c\[parenrightbt] .tr \[parenrightbt]
182 .\" .if !c\[bracketrighttp] .tr \[bracketrighttp]
183 .if !c\[rc] .tr \[rc]
184 .\" .if !c\[bracketrightex] .tr \[bracketrightex]
185 .\" .if !c\[bracketrightbt] .tr \[bracketrightbt]
186 .if !c\[rf] .tr \[rf]
187 .\" .if !c\[bracerighttp] .tr \[bracerighttp]
188 .if !c\[rt] .tr \[rt]
189 .\" .if !c\[bracerightmid] .tr \[bracerightmid]
190 .if !c\[rk] .tr \[rk]
191 .\" .if !c\[bracerightbt] .tr \[bracerightbt]
192 .if !c\[rb] .tr \[rb]
194 .\" now turn off all headers and footers for ms, me and mm macro sets
205 .\" it doesn't make sense to use hyphenation with html, so we turn it off.
209 .\" avoid line breaks after hyphen-like characters.
210 .cflags 0 -\[hy]\[em]\[en]\[shc]
214 .\" now for the color definitions
218 .defcolor white rgb #ffffff
219 .defcolor fuchsia rgb #ff00ff
221 .\" these colors are compliant with html-3.0 and above
222 .defcolor aliceblue rgb #eff7ff
223 .defcolor antiquewhite rgb #f9e8d2
224 .defcolor antiquewhite1 rgb #feedd6
225 .defcolor antiquewhite2 rgb #ebdbc5
226 .defcolor antiquewhite3 rgb #c8b9a6
227 .defcolor antiquewhite4 rgb #817468
228 .defcolor aquamarine rgb #43b7ba
229 .defcolor aquamarine1 rgb #87fdce
230 .defcolor aquamarine2 rgb #7deabe
231 .defcolor aquamarine3 rgb #69c69f
232 .defcolor aquamarine4 rgb #417c64
233 .defcolor azure rgb #efffff
234 .defcolor azure2 rgb #deecec
235 .defcolor azure3 rgb #bcc7c7
236 .defcolor azure4 rgb #7a7d7d
237 .defcolor beige rgb #f5f3d7
238 .defcolor bisque rgb #fde0bc
239 .defcolor bisque2 rgb #ead0ae
240 .defcolor bisque3 rgb #c7af92
241 .defcolor bisque4 rgb #816e59
242 .defcolor black rgb #000000
243 .defcolor blanchedalmond rgb #fee8c6
244 .defcolor blue rgb #0000ff
245 .defcolor blue1 rgb #1535ff
246 .defcolor blue2 rgb #1531ec
247 .defcolor blue3 rgb #1528c7
248 .defcolor blue4 rgb #151b7e
249 .defcolor blueviolet rgb #7931df
250 .defcolor brown rgb #980517
251 .defcolor brown1 rgb #f63526
252 .defcolor brown2 rgb #e42d17
253 .defcolor brown3 rgb #c22217
254 .defcolor burlywood1 rgb #fcce8e
255 .defcolor burlywood2 rgb #eabe83
256 .defcolor burlywood3 rgb #c6a06d
257 .defcolor burlywood4 rgb #806341
258 .defcolor cadetblue rgb #578693
259 .defcolor cadetblue1 rgb #99f3ff
260 .defcolor cadetblue2 rgb #8ee2ec
261 .defcolor cadetblue3 rgb #77bfc7
262 .defcolor cadetblue4 rgb #4c787e
263 .defcolor chartreuse rgb #8afb17
264 .defcolor chartreuse2 rgb #7fe817
265 .defcolor chartreuse3 rgb #6cc417
266 .defcolor chartreuse4 rgb #437c17
267 .defcolor chocolate rgb #c85a17
268 .defcolor coral rgb #f76541
269 .defcolor coral2 rgb #e55b3c
270 .defcolor coral3 rgb #c34a2c
271 .defcolor coral4 rgb #7e2817
272 .defcolor cornflowerblue rgb #151b8d
273 .defcolor cornsilk rgb #fff7d7
274 .defcolor cornsilk2 rgb #ece5c6
275 .defcolor cornsilk3 rgb #c8c2a7
276 .defcolor cornsilk4 rgb #817a68
277 .defcolor cyan rgb #00ffff
278 .defcolor cyan1 rgb #57feff
279 .defcolor cyan2 rgb #50ebec
280 .defcolor cyan3 rgb #46c7c7
281 .defcolor cyan4 rgb #307d7e
282 .defcolor darkgoldenrod rgb #af7817
283 .defcolor darkgoldenrod1 rgb #fbb117
284 .defcolor darkgoldenrod2 rgb #e8a317
285 .defcolor darkgoldenrod3 rgb #c58917
286 .defcolor darkgoldenrod4 rgb #7f5217
287 .defcolor darkgreen rgb #254117
288 .defcolor darkkhaki rgb #b7ad59
289 .defcolor darkolivegreen rgb #4a4117
290 .defcolor darkolivegreen1 rgb #ccfb5d
291 .defcolor darkolivegreen2 rgb #bce954
292 .defcolor darkolivegreen3 rgb #a0c544
293 .defcolor darkolivegreen4 rgb #667c26
294 .defcolor darkorange rgb #f88017
295 .defcolor darkorange1 rgb #f87217
296 .defcolor darkorange2 rgb #e56717
297 .defcolor darkorange3 rgb #c35617
298 .defcolor darkorange4 rgb #7e3117
299 .defcolor darkorchid rgb #7d1b7e
300 .defcolor darkorchid1 rgb #b041ff
301 .defcolor darkorchid2 rgb #a23bec
302 .defcolor darkorchid3 rgb #8b31c7
303 .defcolor darkorchid4 rgb #571b7e
304 .defcolor darksalmon rgb #e18b6b
305 .defcolor darkseagreen rgb #8bb381
306 .defcolor darkseagreen1 rgb #c3fdb8
307 .defcolor darkseagreen2 rgb #b5eaaa
308 .defcolor darkseagreen3 rgb #99c68e
309 .defcolor darkseagreen4 rgb #617c58
310 .defcolor darkslateblue rgb #2b3856
311 .defcolor darkslategray rgb #25383c
312 .defcolor darkslategray1 rgb #9afeff
313 .defcolor darkslategray2 rgb #8eebec
314 .defcolor darkslategray3 rgb #78c7c7
315 .defcolor darkslategray4 rgb #4c7d7e
316 .defcolor darkturquoise rgb #3b9c9c
317 .defcolor darkviolet rgb #842dce
318 .defcolor deeppink rgb #f52887
319 .defcolor deeppink2 rgb #e4287c
320 .defcolor deeppink3 rgb #c12267
321 .defcolor deeppink4 rgb #7d053f
322 .defcolor deepskyblue rgb #3bb9ff
323 .defcolor deepskyblue2 rgb #38acec
324 .defcolor deepskyblue3 rgb #3090c7
325 .defcolor deepskyblue4 rgb #25587e
326 .defcolor dimgray rgb #463e41
327 .defcolor dodgerblue rgb #1589ff
328 .defcolor dodgerblue2 rgb #157dec
329 .defcolor dodgerblue3 rgb #1569c7
330 .defcolor dodgerblue4 rgb #153e7e
331 .defcolor firebrick rgb #800517
332 .defcolor firebrick1 rgb #f62817
333 .defcolor firebrick2 rgb #e42217
334 .defcolor firebrick3 rgb #c11b17
335 .defcolor floralwhite rgb #fff9ee
336 .defcolor forestgreen rgb #4e9258
337 .defcolor gainsboro rgb #d8d9d7
338 .defcolor ghostwhite rgb #f7f7ff
339 .defcolor gold rgb #d4a017
340 .defcolor gold1 rgb #fdd017
341 .defcolor gold2 rgb #eac117
342 .defcolor gold3 rgb #c7a317
343 .defcolor gold4 rgb #806517
344 .defcolor goldenrod rgb #edda74
345 .defcolor goldenrod1 rgb #fbb917
346 .defcolor goldenrod2 rgb #e9ab17
347 .defcolor goldenrod3 rgb #c68e17
348 .defcolor goldenrod4 rgb #805817
349 .defcolor gray rgb #736f6e
350 .defcolor gray0 rgb #150517
351 .defcolor gray100 rgb #ffffff
352 .defcolor gray18 rgb #250517
353 .defcolor gray21 rgb #2b1b17
354 .defcolor gray23 rgb #302217
355 .defcolor gray24 rgb #302226
356 .defcolor gray25 rgb #342826
357 .defcolor gray26 rgb #34282c
358 .defcolor gray27 rgb #382d2c
359 .defcolor gray28 rgb #3b3131
360 .defcolor gray29 rgb #3e3535
361 .defcolor gray30 rgb #413839
362 .defcolor gray31 rgb #41383c
363 .defcolor gray32 rgb #463e3f
364 .defcolor gray34 rgb #4a4344
365 .defcolor gray35 rgb #4c4646
366 .defcolor gray36 rgb #4e4848
367 .defcolor gray37 rgb #504a4b
368 .defcolor gray38 rgb #544e4f
369 .defcolor gray39 rgb #565051
370 .defcolor gray40 rgb #595454
371 .defcolor gray41 rgb #5c5858
372 .defcolor gray42 rgb #5f5a59
373 .defcolor gray43 rgb #625d5d
374 .defcolor gray44 rgb #646060
375 .defcolor gray45 rgb #666362
376 .defcolor gray46 rgb #696565
377 .defcolor gray47 rgb #6d6968
378 .defcolor gray48 rgb #6e6a6b
379 .defcolor gray49 rgb #726e6d
380 .defcolor gray50 rgb #747170
381 .defcolor gray51 rgb #787473
382 .defcolor gray52 rgb #7a7777
383 .defcolor gray53 rgb #7c7979
384 .defcolor gray54 rgb #807d7c
385 .defcolor gray55 rgb #82807e
386 .defcolor gray56 rgb #858381
387 .defcolor gray57 rgb #878583
388 .defcolor gray58 rgb #8b8987
389 .defcolor gray59 rgb #8d8b89
390 .defcolor gray60 rgb #8f8e8d
391 .defcolor gray61 rgb #939190
392 .defcolor gray62 rgb #959492
393 .defcolor gray63 rgb #999795
394 .defcolor gray64 rgb #9a9998
395 .defcolor gray65 rgb #9e9c9b
396 .defcolor gray66 rgb #a09f9d
397 .defcolor gray67 rgb #a3a2a0
398 .defcolor gray68 rgb #a5a4a3
399 .defcolor gray69 rgb #a9a8a6
400 .defcolor gray70 rgb #acaba9
401 .defcolor gray71 rgb #aeadac
402 .defcolor gray72 rgb #b1b1af
403 .defcolor gray73 rgb #b3b3b1
404 .defcolor gray74 rgb #b7b6b4
405 .defcolor gray75 rgb #b9b8b6
406 .defcolor gray76 rgb #bcbbba
407 .defcolor gray77 rgb #bebebc
408 .defcolor gray78 rgb #c1c1bf
409 .defcolor gray79 rgb #c3c4c2
410 .defcolor gray80 rgb #c7c7c5
411 .defcolor gray81 rgb #cacac9
412 .defcolor gray82 rgb #cccccb
413 .defcolor gray83 rgb #d0cfcf
414 .defcolor gray84 rgb #d2d2d1
415 .defcolor gray85 rgb #d5d5d4
416 .defcolor gray86 rgb #d7d7d7
417 .defcolor gray87 rgb #dbdbd9
418 .defcolor gray88 rgb #dddddc
419 .defcolor gray89 rgb #e0e0e0
420 .defcolor gray90 rgb #e2e3e1
421 .defcolor gray91 rgb #e5e6e4
422 .defcolor gray92 rgb #e8e9e8
423 .defcolor gray93 rgb #ebebea
424 .defcolor gray94 rgb #eeeeee
425 .defcolor gray95 rgb #f0f1f0
426 .defcolor gray96 rgb #f4f4f3
427 .defcolor gray97 rgb #f6f6f5
428 .defcolor gray98 rgb #f9f9fa
429 .defcolor gray99 rgb #fbfbfb
430 .defcolor green rgb #00ff00
431 .defcolor green1 rgb #5ffb17
432 .defcolor green2 rgb #59e817
433 .defcolor green3 rgb #4cc417
434 .defcolor green4 rgb #347c17
435 .defcolor greenyellow rgb #b1fb17
436 .defcolor honeydew rgb #f0feee
437 .defcolor honeydew2 rgb #deebdc
438 .defcolor honeydew3 rgb #bcc7b9
439 .defcolor honeydew4 rgb #7a7d74
440 .defcolor hotpink rgb #f660ab
441 .defcolor hotpink1 rgb #f665ab
442 .defcolor hotpink2 rgb #e45e9d
443 .defcolor hotpink3 rgb #c25283
444 .defcolor hotpink4 rgb #7d2252
445 .defcolor indianred rgb #5e2217
446 .defcolor indianred1 rgb #f75d59
447 .defcolor indianred2 rgb #e55451
448 .defcolor indianred3 rgb #c24641
449 .defcolor indianred4 rgb #7e2217
450 .defcolor ivory rgb #ffffee
451 .defcolor ivory2 rgb #ececdc
452 .defcolor ivory3 rgb #c9c7b9
453 .defcolor ivory4 rgb #817d74
454 .defcolor khaki rgb #ada96e
455 .defcolor khaki1 rgb #fff380
456 .defcolor khaki2 rgb #ede275
457 .defcolor khaki3 rgb #c9be62
458 .defcolor khaki4 rgb #827839
459 .defcolor lavender rgb #e3e4fa
460 .defcolor lavenderblush rgb #fdeef4
461 .defcolor lavenderblush2 rgb #ebdde2
462 .defcolor lavenderblush3 rgb #c8bbbe
463 .defcolor lavenderblush4 rgb #817679
464 .defcolor lawngreen rgb #87f717
465 .defcolor lemonchiffon rgb #fff8c6
466 .defcolor lemonchiffon2 rgb #ece5b6
467 .defcolor lemonchiffon3 rgb #c9c299
468 .defcolor lemonchiffon4 rgb #827b60
469 .defcolor lightblue rgb #addfff
470 .defcolor lightblue1 rgb #bdedff
471 .defcolor lightblue2 rgb #afdcec
472 .defcolor lightblue3 rgb #95b9c7
473 .defcolor lightblue4 rgb #5e767e
474 .defcolor lightcoral rgb #e77471
475 .defcolor lightcyan rgb #e0ffff
476 .defcolor lightcyan2 rgb #cfecec
477 .defcolor lightcyan3 rgb #afc7c7
478 .defcolor lightcyan4 rgb #717d7d
479 .defcolor lightgoldenrod rgb #ecd872
480 .defcolor lightgoldenrod1 rgb #ffe87c
481 .defcolor lightgoldenrod2 rgb #ecd672
482 .defcolor lightgoldenrod3 rgb #c8b560
483 .defcolor lightgoldenrod4 rgb #817339
484 .defcolor lightgoldenrodyellow rgb #faf8cc
485 .defcolor lightpink rgb #faafba
486 .defcolor lightpink1 rgb #f9a7b0
487 .defcolor lightpink2 rgb #e799a3
488 .defcolor lightpink3 rgb #c48189
489 .defcolor lightpink4 rgb #7f4e52
490 .defcolor lightsalmon rgb #f9966b
491 .defcolor lightsalmon2 rgb #e78a61
492 .defcolor lightsalmon3 rgb #c47451
493 .defcolor lightsalmon4 rgb #7f462c
494 .defcolor lightseagreen rgb #3ea99f
495 .defcolor lightskyblue rgb #82cafa
496 .defcolor lightskyblue2 rgb #a0cfec
497 .defcolor lightskyblue3 rgb #87afc7
498 .defcolor lightskyblue4 rgb #566d7e
499 .defcolor lightslateblue rgb #736aff
500 .defcolor lightslategray rgb #6d7b8d
501 .defcolor lightsteelblue rgb #728fce
502 .defcolor lightsteelblue1 rgb #c6deff
503 .defcolor lightsteelblue2 rgb #b7ceec
504 .defcolor lightsteelblue3 rgb #9aadc7
505 .defcolor lightsteelblue4 rgb #646d7e
506 .defcolor lightyellow rgb #fffedc
507 .defcolor lightyellow2 rgb #edebcb
508 .defcolor lightyellow3 rgb #c9c7aa
509 .defcolor lightyellow4 rgb #827d6b
510 .defcolor limegreen rgb #41a317
511 .defcolor linen rgb #f9eee2
512 .defcolor magenta rgb #ff00ff
513 .defcolor magenta1 rgb #f43eff
514 .defcolor magenta2 rgb #e238ec
515 .defcolor magenta3 rgb #c031c7
516 .defcolor maroon rgb #810541
517 .defcolor maroon1 rgb #f535aa
518 .defcolor maroon2 rgb #e3319d
519 .defcolor maroon3 rgb #c12283
520 .defcolor maroon4 rgb #7d0552
521 .defcolor mediumaquamarine rgb #348781
522 .defcolor mediumblue rgb #152dc6
523 .defcolor mediumforestgreen rgb #347235
524 .defcolor mediumgoldenrod rgb #ccb954
525 .defcolor mediumorchid rgb #b048b5
526 .defcolor mediumorchid1 rgb #d462ff
527 .defcolor mediumorchid2 rgb #c45aec
528 .defcolor mediumorchid3 rgb #a74ac7
529 .defcolor mediumorchid4 rgb #6a287e
530 .defcolor mediumpurple rgb #8467d7
531 .defcolor mediumpurple1 rgb #9e7bff
532 .defcolor mediumpurple2 rgb #9172ec
533 .defcolor mediumpurple3 rgb #7a5dc7
534 .defcolor mediumpurple4 rgb #4e387e
535 .defcolor mediumseagreen rgb #306754
536 .defcolor mediumslateblue rgb #5e5a80
537 .defcolor mediumspringgreen rgb #348017
538 .defcolor mediumturquoise rgb #48cccd
539 .defcolor mediumvioletred rgb #ca226b
540 .defcolor midnightblue rgb #151b54
541 .defcolor mintcream rgb #f5fff9
542 .defcolor mistyrose rgb #fde1dd
543 .defcolor mistyrose2 rgb #ead0cc
544 .defcolor mistyrose3 rgb #c6afac
545 .defcolor mistyrose4 rgb #806f6c
546 .defcolor moccasin rgb #fde0ac
547 .defcolor navajowhite rgb #fddaa3
548 .defcolor navajowhite2 rgb #eac995
549 .defcolor navajowhite3 rgb #c7aa7d
550 .defcolor navajowhite4 rgb #806a4b
551 .defcolor navy rgb #150567
552 .defcolor oldlace rgb #fcf3e2
553 .defcolor olivedrab rgb #658017
554 .defcolor olivedrab1 rgb #c3fb17
555 .defcolor olivedrab2 rgb #b5e917
556 .defcolor olivedrab3 rgb #99c517
557 .defcolor olivedrab4 rgb #617c17
558 .defcolor orange rgb #f87a17
559 .defcolor orange1 rgb #fa9b17
560 .defcolor orange2 rgb #e78e17
561 .defcolor orange3 rgb #c57717
562 .defcolor orange4 rgb #7f4817
563 .defcolor orangered rgb #f63817
564 .defcolor orangered2 rgb #e43117
565 .defcolor orangered3 rgb #c22817
566 .defcolor orangered4 rgb #7e0517
567 .defcolor orchid rgb #e57ded
568 .defcolor orchid1 rgb #f67dfa
569 .defcolor orchid2 rgb #e473e7
570 .defcolor orchid3 rgb #c160c3
571 .defcolor orchid4 rgb #7d387c
572 .defcolor palegoldenrod rgb #ede49e
573 .defcolor palegreen rgb #79d867
574 .defcolor palegreen1 rgb #a0fc8d
575 .defcolor palegreen2 rgb #94e981
576 .defcolor palegreen3 rgb #7dc56c
577 .defcolor palegreen4 rgb #4e7c41
578 .defcolor paleturquoise rgb #aeebec
579 .defcolor paleturquoise1 rgb #bcfeff
580 .defcolor paleturquoise2 rgb #adebec
581 .defcolor paleturquoise3 rgb #92c7c7
582 .defcolor paleturquoise4 rgb #5e7d7e
583 .defcolor palevioletred rgb #d16587
584 .defcolor palevioletred1 rgb #f778a1
585 .defcolor palevioletred2 rgb #e56e94
586 .defcolor palevioletred3 rgb #c25a7c
587 .defcolor palevioletred4 rgb #7e354d
588 .defcolor papayawhip rgb #feeccf
589 .defcolor peachpuff rgb #fcd5b0
590 .defcolor peachpuff2 rgb #eac5a3
591 .defcolor peachpuff3 rgb #c6a688
592 .defcolor peachpuff4 rgb #806752
593 .defcolor peru rgb #c57726
594 .defcolor pink rgb #faafbe
595 .defcolor pink2 rgb #e7a1b0
596 .defcolor pink3 rgb #c48793
597 .defcolor pink4 rgb #7f525d
598 .defcolor plum rgb #b93b8f
599 .defcolor plum1 rgb #f9b7ff
600 .defcolor plum2 rgb #e6a9ec
601 .defcolor plum3 rgb #c38ec7
602 .defcolor plum4 rgb #7e587e
603 .defcolor powderblue rgb #addce3
604 .defcolor purple rgb #8e35ef
605 .defcolor purple1 rgb #893bff
606 .defcolor purple2 rgb #7f38ec
607 .defcolor purple3 rgb #6c2dc7
608 .defcolor purple4 rgb #461b7e
609 .defcolor red rgb #ff0000
610 .defcolor red1 rgb #f62217
611 .defcolor red2 rgb #e41b17
612 .defcolor rosybrown rgb #b38481
613 .defcolor rosybrown1 rgb #fbbbb9
614 .defcolor rosybrown2 rgb #e8adaa
615 .defcolor rosybrown3 rgb #c5908e
616 .defcolor rosybrown4 rgb #7f5a58
617 .defcolor royalblue rgb #2b60de
618 .defcolor royalblue1 rgb #306eff
619 .defcolor royalblue2 rgb #2b65ec
620 .defcolor royalblue3 rgb #2554c7
621 .defcolor royalblue4 rgb #15317e
622 .defcolor salmon1 rgb #f88158
623 .defcolor salmon2 rgb #e67451
624 .defcolor salmon3 rgb #c36241
625 .defcolor salmon4 rgb #7e3817
626 .defcolor sandybrown rgb #ee9a4d
627 .defcolor seagreen rgb #4e8975
628 .defcolor seagreen1 rgb #6afb92
629 .defcolor seagreen2 rgb #64e986
630 .defcolor seagreen3 rgb #54c571
631 .defcolor seagreen4 rgb #387c44
632 .defcolor seashell rgb #fef3eb
633 .defcolor seashell2 rgb #ebe2d9
634 .defcolor seashell3 rgb #c8bfb6
635 .defcolor seashell4 rgb #817873
636 .defcolor sienna rgb #8a4117
637 .defcolor sienna1 rgb #f87431
638 .defcolor sienna2 rgb #e66c2c
639 .defcolor sienna3 rgb #c35817
640 .defcolor sienna4 rgb #7e3517
641 .defcolor skyblue rgb #6698ff
642 .defcolor skyblue1 rgb #82caff
643 .defcolor skyblue2 rgb #79baec
644 .defcolor skyblue3 rgb #659ec7
645 .defcolor skyblue4 rgb #41627e
646 .defcolor slateblue rgb #737ca1
647 .defcolor slateblue1 rgb #7369ff
648 .defcolor slateblue2 rgb #6960ec
649 .defcolor slateblue3 rgb #574ec7
650 .defcolor slateblue4 rgb #342d7e
651 .defcolor slategray rgb #657383
652 .defcolor slategray1 rgb #c2dfff
653 .defcolor slategray2 rgb #b4cfec
654 .defcolor slategray3 rgb #98afc7
655 .defcolor slategray4 rgb #616d7e
656 .defcolor snow rgb #fff9fa
657 .defcolor snow2 rgb #ece7e6
658 .defcolor snow3 rgb #c8c4c2
659 .defcolor snow4 rgb #817c7b
660 .defcolor springgreen rgb #4aa02c
661 .defcolor springgreen1 rgb #5efb6e
662 .defcolor springgreen2 rgb #57e964
663 .defcolor springgreen3 rgb #4cc552
664 .defcolor springgreen4 rgb #347c2c
665 .defcolor steelblue rgb #4863a0
666 .defcolor steelblue1 rgb #5cb3ff
667 .defcolor steelblue2 rgb #56a5ec
668 .defcolor steelblue3 rgb #488ac7
669 .defcolor steelblue4 rgb #2b547e
670 .defcolor tan rgb #d8af79
671 .defcolor tan1 rgb #fa9b3c
672 .defcolor tan2 rgb #e78e35
673 .defcolor thistle rgb #d2b9d3
674 .defcolor thistle1 rgb #fcdfff
675 .defcolor thistle2 rgb #e9cfec
676 .defcolor thistle3 rgb #c6aec7
677 .defcolor thistle4 rgb #806d7e
678 .defcolor tomato rgb #f75431
679 .defcolor tomato2 rgb #e54c2c
680 .defcolor tomato3 rgb #c23e17
681 .defcolor turquoise rgb #43c6db
682 .defcolor turquoise1 rgb #52f3ff
683 .defcolor turquoise2 rgb #4ee2ec
684 .defcolor turquoise3 rgb #43bfc7
685 .defcolor turquoise4 rgb #30787e
686 .defcolor violet rgb #8d38c9
687 .defcolor violetred rgb #e9358a
688 .defcolor violetred1 rgb #f6358a
689 .defcolor violetred2 rgb #e4317f
690 .defcolor violetred3 rgb #c12869
691 .defcolor violetred4 rgb #7d0541
692 .defcolor wheat rgb #f3daa9
693 .defcolor wheat1 rgb #fee4b1
694 .defcolor wheat2 rgb #ebd3a3
695 .defcolor wheat3 rgb #c8b189
696 .defcolor wheat4 rgb #816f54
697 .defcolor yellow rgb #ffff00
698 .defcolor yellow1 rgb #fffc17
699 .defcolor yellowgreen rgb #52d017
706 .do ie '\[char97]'a' \
711 .\" tell grohtml the page offset
713 .\" end of file, make sure this is the last line