Output themes in JSON format