rsc | c42a1d3 | 2006-02-21 18:37:05 +0000 | [diff] [blame] | 1 | .de HTML |
| 2 | \! \<?xml version="1.0" encoding="utf-8"?\> |
| 3 | \! \<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" |
| 4 | \! "http://www.w3.org/TR/html4/loose.dtd"\> |
| 5 | .html html <html> |
| 6 | .html head <head> |
| 7 | .if !'\\$1'' .html title <title>\\$1</title> |
| 8 | .HEAD |
| 9 | .html head |
| 10 | .html body <body> |
| 11 | .. |
| 12 | .de FSFIRST |
| 13 | .de NOTES xx |
| 14 | ._NOTES |
| 15 | .rm _NOTES |
| 16 | xx |
| 17 | .em NOTES |
| 18 | .da _NOTES |
| 19 | .sp |
| 20 | .B "Notes |
| 21 | .sp |
| 22 | .da |
| 23 | .. |
| 24 | .de FS |
| 25 | .FSFIRST |
| 26 | .rm FSFIRST |
| 27 | .da _NOTES |
| 28 | .. |
| 29 | .de FE |
| 30 | .sp |
| 31 | .da |
| 32 | .. |
| 33 | .nr png -1 1 |
| 34 | .de TS |
| 35 | .ds pngbase "\\*[basename] |
| 36 | .if '\\*[pngbase]'' .ds pngbase \\n(.B |
| 37 | .ds pngfile \\*[pngbase]\\n+[png].png |
| 38 | .html - <center><img src="\\*[pngfile]"></center> |
| 39 | .\" The .inputpipe must be the last line of the macro! |
| 40 | .inputpipe .TE troff2png >\\*[pngfile] |
| 41 | .. |
| 42 | .de TE |
| 43 | .. |
| 44 | .de PS |
| 45 | .ds pngbase "\\*[basename] |
| 46 | .if '\\*[pngbase]'' .ds pngbase \\n(.B |
| 47 | .ds pngfile \\*[pngbase]\\n+[png].png |
| 48 | .html - <center><img src="\\*[pngfile]"></center> |
| 49 | .inputpipe .PE troff2png >\\*[pngfile] |
| 50 | .. |
| 51 | .de PE |
| 52 | .. |
| 53 | .de B1 |
| 54 | .margin 0 |
| 55 | .nr TW 10 |
| 56 | .nr TW1 80 |
| 57 | .if !'\\$1'' .nr TW \\$1 |
| 58 | .if !'\\$2'' .nr TW1 \\$2 |
| 59 | .html box \ |
| 60 | <center>\ |
| 61 | <table width=\\n[TW1]% cellspacing=0 cellpadding=0 border=0>\ |
| 62 | <tr height=1>\ |
| 63 | <td width=1 bgcolor=#000000 />\ |
| 64 | <td width=\\n(TW bgcolor=#000000 />\ |
| 65 | <td bgcolor=#000000 />\ |
| 66 | <td width=\\n(TW bgcolor=#000000 />\ |
| 67 | <td width=1 bgcolor=#000000 />\ |
| 68 | </tr>\ |
| 69 | <tr height=\\n(TW>\ |
| 70 | <td width=1 bgcolor=#000000 />\ |
| 71 | <td width=\\n(TW />\ |
| 72 | <td />\ |
| 73 | <td width=\\n(TW />\ |
| 74 | <td width=1 bgcolor=#000000 />\ |
| 75 | </tr> |
| 76 | .html box0 <tr> |
| 77 | .html box1 <td width=1 bgcolor=#000000 /><td width=\\n(TW /><td> |
| 78 | .. |
| 79 | .de B2 |
| 80 | .html box1 <td width=\\n(TW /><td width=1 bgcolor=#000000 /> |
| 81 | .html box0 <tr height=\\n(TW><td width=1 bgcolor=#000000 />\ |
| 82 | <td width=\\n(TW /><td /><td width=\\n(TW />\ |
| 83 | <td width=1 bgcolor=#000000 />\ |
| 84 | </tr>\ |
| 85 | <tr height=1>\ |
| 86 | <td width=1 bgcolor=#000000 />\ |
| 87 | <td width=\\n(TW bgcolor=#000000 />\ |
| 88 | <td bgcolor=#000000 />\ |
| 89 | <td width=\\n(TW bgcolor=#000000 />\ |
| 90 | <td width=1 bgcolor=#000000 />\ |
| 91 | </tr> |
| 92 | .html box |
| 93 | .margin 1 |
| 94 | .. |