/* XPM */ static char *ddots[] = { /* columns rows colors chars-per-pixel */ "14 19 3 1", " c black", ". c gray100", "X c None", /* pixels */ "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "X XXXXXXXXXXX", "X XXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXX XXXXXX", "XXXXXX XXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXX X", "XXXXXXXXXXX X", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX", "XXXXXXXXXXXXXX" };