/* XPM */
static char * integer_xpm[] = {
"16 16 4 1",
" 	c None",
".	c #808080",
"X	c Blue",
"o	c Black",
"                ",
".............   ",
".           ..  ",
".           . . ",
".  XXX  XX X.ooo",
". XX XX XX XX  o",
". XX XX XX XX  o",
".  XXX  XX XX  o",
".              o",
". XX XX  XXX   o",
". XX XX XX XX  o",
". XX XX XX XX  o",
". XX XX  XoX   o",
".              o",
".oo    .oooo.  o",
"   .oooo    o. o"};
