/* XPM */ static const char *options_setfont[] = { "20 20 3 1", " c white", "! c None", "# c #002EFF", "!!!!!!!!!!!!!!!!!!!!", "!!!!!!!!!!!!#####!!!", "!!!!!!!!!!!#######!!", "!!!!!!!!!!!##!!!!##!", "!!!!!!!!!!##!!!!###!", "!!!!!!!!!!##!!!!###!", "!!!!!!!!!###!!!!!!!!", "!!!!!!!!!##!!!!!!!!!", "!!!!!#############!!", "!!!!###!!########!!!", "!!!##!!!!##!!!!!!!!!", "!!!##!!!!#!!!!!!!!!!", "!!!!!!!!##!!!!!!!!!!", "!!!!!!!!##!!!!!!!!!!", "!!!!!!!###!!!!!!!!!!", "!!!!!!!##!!!!!!!!!!!", "!!!!!!##!!!!!!!!!!!!", "!#!!!###!!!!!!!!!!!!", "!######!!!!!!!!!!!!!", "!!####!!!!!!!!!!!!!!" };