gui.themes

List the registered theme names — the set of themes gui.setTheme can switch to.