#define highlight_check_box_width 16
#define highlight_check_box_height 16
static char highlight_check_box_bits[] = {
   0x00, 0x00, 0xfe, 0x1f, 0xfe, 0x1f, 0xfe, 0xdf, 0xfe, 0xdf, 0xfe, 0xdf,
   0xfe, 0xdf, 0xfe, 0xdf, 0xfe, 0xdf, 0xfe, 0xdf, 0xfe, 0xdf, 0xfe, 0xdf,
   0xfe, 0xdf, 0x00, 0xc0, 0xf8, 0xff, 0xf8, 0xff};
