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 };