json dump the themes