#include <stdint.h>

/* The colors are in ARGB format */
static uint32_t background = 0xff282828;