OTHER: Update theme for Mac OS X settings.ini.