/* XPM */
static char * margin_xpm[] = {
/* width height num_colors chars_per_pixel */
"20 20 2 1",
/* colors */
" 	c black",
".	c #BFBFBFBFBFBF",
/**/
"                    ",
".................   ",
".................   ",
".................   ",
"        ..     ..   ",
".................   ",
"        ..     ..   ",
".................   ",
"        ..     ..   ",
".................   ",
"        .........   ",
"............ ....   ",
"   ........   ...   ",
"..........     ..   ",
"        .... ....   ",
"............ ....   ",
"        .........   ",
".................   ",
"        .........   ",
".................   "};