/* XPM */
static char * mini_font_xpm[] = {
"16 16 3 1",
" 	c None s None",
".	c black",
"X	c #808080",
"                ",
"                ",
"                ",
"          ..    ",
"         ...X   ",
"        ....X   ",
"       ..X..X   ",
"      ..XX..X   ",
"     ..XX ..X   ",
"     .......X   ",
"    ..XXXX..X   ",
"   ..XX   ..X   ",
"   ..X    ..X   ",
"    XX     XX   ",
"                ",
"                "};