Renamed global options from defaultTheme -> theme, etc