/* XPM */
static char * mini_pager_xpm[] = {
"16 16 4 1",
"   c None s None",
"#  c black",
"o  c #808080",
".  c #c0c0c0",
"                ",
"                ",
" #############  ",
" #...#...#...#o ",
" #...#...#...#o ",
" #############o ",
" #...#...#...#o ",
" #...#...#...#o ",
" #############o ",
" #...#...#...#o ",
" #...#...#...#o ",
" #############o ",
"  ooooooooooooo ",
"                ",
"                ",
"                "};