1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
|
static char *doc_export_svg_x16[] = {
"16 16 10 1",
" c None",
"0 c #000000",
"1 c #003300",
"2 c #003366",
"3 c #003399",
"4 c #006600",
"5 c #0066CC",
"6 c #0066FF",
"7 c #CC0000",
"8 c #008000",
" 888 ",
" 888888400000 ",
" 8 011 ",
"88 00 88 ",
"88 00 88 ",
"8800 88 7 ",
" 41 8 77 ",
" 048888 77777777",
" 0 77777777",
" 00 6 77 ",
" 00 666 7 ",
" 036 6 ",
" 300 6 ",
" 6 00230000 ",
" 66 32000 ",
" 666666666 "};
static char *doc_export_svg_x24[] = {
"24 24 10 1",
" c None",
"0 c #000000",
"1 c #003300",
"2 c #003366",
"3 c #003399",
"4 c #006600",
"5 c #0066CC",
"6 c #0066FF",
"7 c #CC0000",
"8 c #008000",
" 888 ",
" 88888888 ",
" 888 88840000000 ",
" 888 0111 ",
" 88 000 88 ",
"88 00 88 ",
"88 00 88 ",
"88 0 88 ",
" 8800 88 7 ",
" 880 88 777 ",
" 448 888 7777 ",
" 048888888 77777777777",
" 0 8888 77777777777",
" 0 7777 ",
" 0 66 7777 ",
" 00 66 7 ",
" 0 6 6 ",
" 056 66 ",
" 520 6 ",
" 6 000026 ",
" 6 00002000000 ",
" 66 5300000 ",
" 6666666666666 ",
" 6666666666666 "};
static char *doc_export_svg_x32[] = {
"32 32 11 1",
" c None",
"0 c #000000",
"1 c #000033",
"2 c #003300",
"3 c #003366",
"4 c #003399",
"5 c #006600",
"6 c #0066CC",
"7 c #0066FF",
"8 c #CC0000",
"9 c #008000",
" 99 ",
" 99999999 ",
" 999999999999 00000000 ",
" 9999 9950000000000 ",
" 999 0000000 ",
" 999 0000299 ",
" 99 00000 99 ",
"999 0000 99 ",
"999 0000 99 ",
"999 000 99 ",
" 99 000 99 ",
" 995000 999 88 ",
" 99200 999 8888 ",
" 9005 9999 88888 ",
" 029999999999 88888 ",
" 002999999999 888888888888888",
" 000 99999 888888888888888",
" 000 88888 ",
" 000 7 88888 ",
" 000 777 88888 ",
" 00 77777 88 ",
" 000 777777 ",
" 000677 777 ",
" 0036 777 ",
" 63000 777 ",
" 76300000677 ",
" 777 00000146 ",
" 777 00000000000000 ",
" 777 3431000000 ",
" 777 777 ",
" 7777777777777777777 ",
"777777777777777777777 "};
static char **doc_export_svg_xpm[3] = { doc_export_svg_x16, doc_export_svg_x24, doc_export_svg_x32 };
|
