use different themes on different platforms