static char *box_x16[] = {
	"16 16 4 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#330000",
	"2	c	#CC0000",
	"                ",
	" 00000000000000 ",
	" 0            0 ",
	" 0        22220 ",
	" 0         2220 ",
	" 0        22 20 ",
	" 0       22  20 ",
	" 0      22    0 ",
	" 0     22     0 ",
	" 0    2       0 ",
	" 0   2        0 ",
	" 0  2         0 ",
	" 0 2          0 ",
	" 12           0 ",
	" 00000000000000 ",
	"                "};

static char *box_x24[] = {
	"24 24 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"                        ",
	"                        ",
	"  000000000000000000000 ",
	" 0                    0 ",
	" 0            1111111 0 ",
	" 0             111111 0 ",
	" 0               1111 0 ",
	" 0              11 11 0 ",
	" 0             11  11 0 ",
	" 0            11   11 0 ",
	" 0           11       0 ",
	" 0          11        0 ",
	" 0         11         0 ",
	" 0        1           0 ",
	" 0       1            0 ",
	" 0      1             0 ",
	" 0     1              0 ",
	" 0   11               0 ",
	" 0  11                0 ",
	" 0 11                 0 ",
	" 0                    0 ",
	" 0000000000000000000000 ",
	"                        ",
	"                        "};

static char *box_x32[] = {
	"32 32 3 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#CC0000",
	"                                ",
	"                                ",
	"                                ",
	"  0000000000000000000000000000  ",
	"  0                          0  ",
	"  0                 11111111 0  ",
	"  0                111111111 0  ",
	"  0                    11111 0  ",
	"  0                   111111 0  ",
	"  0                  1111111 0  ",
	"  0                 1111  11 0  ",
	"  0                1111   11 0  ",
	"  0               1111    11 0  ",
	"  0              1111     11 0  ",
	"  0             1111         0  ",
	"  0            111           0  ",
	"  0           111            0  ",
	"  0          111             0  ",
	"  0         111              0  ",
	"  0        111               0  ",
	"  0       111                0  ",
	"  0     1111                 0  ",
	"  0    1111                  0  ",
	"  0   1111                   0  ",
	"  0  1111                    0  ",
	"  0 1111                     0  ",
	"  0 111                      0  ",
	"  0                          0  ",
	"  0000000000000000000000000000  ",
	"                                ",
	"                                ",
	"                                "};

static char **box_xpm[3] = { box_x16, box_x24, box_x32 };