File content as of revision 18:760dd68e939e:

// Autogenerated c file from image.
// Learn more at https://github.com/danielcbailey/Mbed-Image-Converter
#include <stdint.h>

#define IMAGE_portal_WIDTH 11
#define IMAGE_portal_HEIGHT 11

static int portal_arr[121] = {
	65792, 65536, 65792, 0, 0, 1, 0, 1, 0, 65537, 1, 0, 0, 1229244, 1229244, 1228989, 
	1228989, 1228988, 1228989, 1228988, 65536, 0, 65537, 1228989, 1294524, 1294780, 2220731, 
	2220730, 1229245, 1294781, 1228988, 1294781, 65792, 0, 1228989, 2155195, 1294781, 
	1229244, 1228988, 2220731, 1228988, 2155195, 1229244, 256, 65537, 1229245, 1229245, 
	1228988, 2155451, 1229245, 1294525, 1294524, 1229244, 1228988, 65537, 65792, 1229245, 
	2220730, 1229245, 2155195, 1228989, 1294781, 2155451, 1228988, 1229245, 65537, 65537, 
	1294524, 1228988, 1294524, 1228988, 1294524, 1228988, 1229245, 2155450, 1228988, 
	65792, 257, 1228988, 1228989, 2220986, 1228988, 2220987, 2220987, 1228988, 1228988, 
	2155194, 1, 257, 1229245, 2155450, 1229245, 1294525, 1294525, 2155450, 1294780, 1228988, 
	1228988, 1, 65792, 65536, 1294525, 1228988, 1229244, 1228988, 1229244, 1294525, 1294781, 
	257, 65792, 0, 0, 65792, 256, 256, 65792, 256, 1, 65792, 65536, 0
	};