data/themes.json binary