Remove theme setting/preference

For #699.