| 12345678910111213141516171819202122232425262728 | 
							- /* XPM */
 
- static const char *const platform_xpm[] = {
 
- /* columns rows colors chars-per-pixel */
 
- "16 16 6 1",
 
- ". c Black",
 
- "o c #FFFFFF",
 
- "X c #000080",
 
- "O c #FFFF00",
 
- "  c None",
 
- "+ c #FF0000",
 
- /* pixels */
 
- "                ",
 
- "                ",
 
- "                ",
 
- "    .......     ",
 
- "    .XXXXX.     ",
 
- "    .oXXXX.     ",
 
- "    .oXXX.......",
 
- ".....oXXX.OOOOO.",
 
- ".+++.XXXX.oOOOO.",
 
- ".o++......oOOOO.",
 
- ".o++++.  .oOOOO.",
 
- ".o++++.  .OOOOO.",
 
- ".+++++.  .......",
 
- ".......         ",
 
- "                ",
 
- "                "
 
- };
 
 
  |