/* XPM */
static char * top_right_inactive_xpm[] = {
"2 25 3 1",
" c None",
". c #393939",
"+ c #2D2D2D",
". ",
"+.",
"+."};