/* XPM */ static char *varepsilon[] = { /* columns rows colors chars-per-pixel */ "8 19 3 1", " c black", ". c gray100", "X c None", /* pixels */ "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXX XX", "XX XXX X", "XX XXXXX", "XXX XXX", "XX XXXXX", "X XXXX X", "XX XX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX", "XXXXXXXX" };