static char *doc_save_x16[] = {
	"16 16 10 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#0066FF",
	"2	c	#333333",
	"3	c	#333366",
	"4	c	#336666",
	"5	c	#666699",
	"6	c	#669999",
	"7	c	#6699CC",
	"8	c	#9999CC",
	"                ",
	"111111          ",
	"11111111        ",
	"111111111       ",
	"     1111 1     ",
	"     111111     ",
	"     111111     ",
	"      1111      ",
	"       11       ",
	"2222222232222222",
	"2568568567668662",
	"2356356356446442",
	"2356356356446442",
	"2356356356446442",
	"2222222222222222",
	"                "};

static char *doc_save_x24[] = {
	"24 24 12 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#0066FF",
	"2	c	#333333",
	"3	c	#333366",
	"4	c	#336666",
	"5	c	#666666",
	"6	c	#666699",
	"7	c	#669999",
	"8	c	#6699CC",
	"9	c	#9999CC",
	"A	c	#99CCCC",
	"                        ",
	"                        ",
	"11111111111             ",
	"111111111111            ",
	"1111111111111           ",
	"        11111           ",
	"          1111          ",
	"       1111111111       ",
	"       1111111111       ",
	"        11111111        ",
	"         111111         ",
	"          11111         ",
	"          1111          ",
	"           11           ",
	"222222222222222222222222",
	"2A7A7A6A7A88A7A7A7A7AA72",
	"28694A0A497794A3A3A68862",
	"28694A0A497794A3A3A68862",
	"28694A0A497794A3A3A68862",
	"28694A0A497794A3A3A68862",
	"287A5A2A5A77A5A4A4A78872",
	"222222222222222222222222",
	"                        ",
	"                        "};

static char *doc_save_x32[] = {
	"32 32 11 1",
	" 	c	None",
	"0	c	#000000",
	"1	c	#0066FF",
	"2	c	#333333",
	"3	c	#333366",
	"4	c	#336666",
	"5	c	#666699",
	"6	c	#669999",
	"7	c	#6699CC",
	"8	c	#9999CC",
	"9	c	#99CCCC",
	"                                ",
	"                                ",
	" 111111                         ",
	" 1111111111111                  ",
	" 111111111111111                ",
	" 1111111111111111               ",
	" 1111111111111111               ",
	"            111111              ",
	"             11111              ",
	"          111 1111 111          ",
	"          111111111111          ",
	"          111111111111          ",
	"           1111111111           ",
	"           1111111111           ",
	"            11111111            ",
	"             111111             ",
	"              11111             ",
	"              1111              ",
	" 222222222222222322222222222222 ",
	"29999999999999999999999999999992",
	"29799799799699699699699699699692",
	"29489489489399399399099099099092",
	"29489489489399399399099099099092",
	"29489489489399399399099099099092",
	"29489489489399399399099099099092",
	"29489489489399399399099099099092",
	"29489489489399399399099099099092",
	"29599599599499499499399399399392",
	"29999999999999999999999999999992",
	"22222222222222222222222222222222",
	"                                ",
	"                                "};

static char **doc_save_xpm[3] = { doc_save_x16, doc_save_x24, doc_save_x32 };