found a bug in the config for the new v0.1.12: "gui_theme 2" is actually black but it looks like anything higher than 2 is grey now, as if the grey and black swapped :)

the dark blue is pretty nice as the new default btw!