So there's no GUI toolkit? Everything is drawn with Simple DirectMedia Layer?

I didn't check but I would assume it's based on https://github.com/rxi/microui by the same author.