/* XPM */
static const char * html_back_xpm[ ] =
{
  /* columns rows colors chars-per-pixel */
  "18 17 3 1",
  "  c black",
  ". c black",
  "X c None",
  /* pixels */
  "XXXXXXXXXXXXXXXX..",
  "XXXXXXXXXXXXXX....",
  "XXXXXXXXXXXX......",
  "XXXXXXXXXX........",
  "XXXXXXXX..........",
  "XXXXXX............",
  "XXXX..............",
  "XX................",
  "..................",
  "XX................",
  "XXXX..............",
  "XXXXXX............",
  "XXXXXXXX..........",
  "XXXXXXXXXX........",
  "XXXXXXXXXXXX......",
  "XXXXXXXXXXXXXX....",
  "XXXXXXXXXXXXXXXX.."
};