Cherry-picked Ruler.st from a3177d4a9ae5:
* b2a3ee58d40c: #UI_ENHANCEMENT by exept, Claus Gittinger <cg@exept.de>
/* XPM */
static char *plus_xpm[] = {
/* width height ncolors chars_per_pixel */
"9 9 3 1",
/* colors */
"a c black",
"b c #808080",
"c c white",
/* pixels */
"bbbbbbbbb",
"bcccccccb",
"bcccacccb",
"bcccacccb",
"bcaaaaacb",
"bcccacccb",
"bcccacccb",
"bcccccccb",
"bbbbbbbbb",
};