static char *doc_print_x16[] = {
	"16 16 8 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#666666",
	"2	c	#999999",
	"3	c	#CCCCCC",
	"4	c	#FFFFFF",
	"5	c	#C0C0C0",
	"6	c	#808080",
	"  111111111111  ",
	"  144444444441  ",
	"  144444444441  ",
	"  144444444441  ",
	"  144444444441  ",
	" 666666666666666",
	"6255555555555556",
	"6333333333333336",
	"6333333333333336",
	"6333333333333336",
	"6311111111111136",
	"6316111111654136",
	"6512666666624136",
	"6616111111165166",
	"  166666666341  ",
	"  111111111111  "};

static char *doc_print_x24[] = {
	"24 24 8 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#666666",
	"2	c	#999999",
	"3	c	#CCCCCC",
	"4	c	#FFFFFF",
	"5	c	#C0C0C0",
	"6	c	#808080",
	"    1111111111111111    ",
	"   144444444444444441   ",
	"   144444444444444441   ",
	"   144444444444444441   ",
	"   144444444444444441   ",
	"   144444444444444441   ",
	"   144444444444444441   ",
	"   144444444444444441   ",
	" 6666666666666666666666 ",
	"625555555555555555555526",
	"653333333333333333333356",
	"653333333333333333333356",
	"653333333333333333333356",
	"653333333333333333333356",
	"653333333333333333333356",
	"653111111111111111111356",
	"653136666666666634441356",
	"653142222222222255441356",
	"653142222222222225441356",
	"662136666666666664441266",
	"   136666666666666241   ",
	"   142222222222233441   ",
	"   145555555555544441   ",
	"    1111111111111111    "};

static char *doc_print_x32[] = {
	"32 32 9 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#333333",
	"2	c	#666666",
	"3	c	#999999",
	"4	c	#CCCCCC",
	"5	c	#FFFFFF",
	"6	c	#C0C0C0",
	"7	c	#808080",
	"                                ",
	"     2222222222222222222222     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	"     2555555555555555555552     ",
	" 777777777777777777777777777777 ",
	" 7666666666666666666666666666677",
	" 3444444444444444444444444444437",
	" 3444444444444444444444444444437",
	" 3444444444444444444444444444437",
	" 3444444444444444444444444444437",
	" 3444444444444444444444444444437",
	" 3444444444444444444444444444437",
	" 3444444444444444444444444444437",
	" 3444222222222222222222222244437",
	" 3444254444444444444455555244437",
	" 3444267777777777777765555244437",
	" 3444246666666666666666655244437",
	" 3444246666666666666666655244437",
	" 7444267777777777777773555244437",
	" 777725444444444444444555527777 ",
	"     2311111111111111111152     ",
	"     2544444444444444555552     ",
	"     2377777777777777455552     ",
	"     2222222222222222222222     ",
	"                                "};

static char **doc_print_xpm[3] = { doc_print_x16, doc_print_x24, doc_print_x32 };