/* XPM */
static char *shell_xpm[] = {
/* width height num_colors chars_per_pixel */
"    12    12       11            1",
/* colors */
". c #000000",
"# c #080808",
"a c #080818",
"b c #182118",
"c c #293129",
"d c #424252",
"e c #525252",
"f c #636363",
"g c #736373",
"h c #737373",
"i c #ffffff",
/* pixels */
"dddddddddddd",
"#ch.ehhh..fb",
".bbbbbbbbbbb",
"ciiiiiiiiiib",
"ci.hiiiiiiib",
"ci.hiiiiiiib",
"ciiiiiiiiiib",
"ciiiiiiiiiib",
"ciiiiiiiiiia",
"ciiiiiiiiiib",
"ciiiiiiiiiib",
"agggggggggga"
};
