/* Instance theme colors (THEME_* settings). */