I see a few themes available in my installation, what controls which theme is used?