Blob


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 ..