gui_theme: Make set_theme() static.