/* XPM */
static char *html_xpm[] = {
/* width height num_colors chars_per_pixel */
"    13    16       20            1",
/* colors */
". c #000000",
"# c #313131",
"a c #2f3060",
"b c #5a5a5a",
"c c #636363",
"d c #6b6b6b",
"e c #737373",
"f c #7b7b73",
"g c #6067cf",
"h c None",
"i c #2f9790",
"j c #847b7b",
"k c #84847b",
"l c #adadad",
"m c #b5b5b5",
"n c #bdbdbd",
"o c #cec6c6",
"p c #cecec6",
"q c #fff7ef",
"r c #ffffff",
/* pixels */
"jfjffjffjclhh",
"kqqqqqqqqpemh",
"jqqqqqqqqpmen",
"kqqqqqqqqofj#",
"jqqqqqqqqqqqc",
"kqaaaaaaaaaqc",
"jqarrrarrraqc",
"kqaarraaraaqc",
"jqaarararaaqc",
"kqaariirraaqc",
"jqairiiiriaqc",
"kqirrraa.aiqc",
"jqa....a..aqc",
"kqgggaaa...qc",
"jqqqqqqqqqqqc",
"cbcbcbcbcbcbd"
};
