Themes are converted in JSON format