import json, os HERE=os.path.dirname(os.path.abspath(__file__)) def strip_exports(src): """Drop ES-module `export` lines so the body loads as a classic """ HTML=(HTML.replace("COLORMATH_J",COLORMATH_BODY) .replace("SAMPLES_J",json.dumps(SAMPLES)) .replace("PALETTE_J",json.dumps(PALETTE)).replace("CATS_J",json.dumps(CATS)) .replace("UIFACES_J",json.dumps(UI_FACES)).replace("UIMAP_J",json.dumps(UIMAP)).replace("APPS_J",json.dumps(APPS)) .replace("BOLD_J",json.dumps(BOLD)).replace("MAP_J",json.dumps(MAP))) OUT=os.path.join(HERE,'theme-studio.html') if __name__=='__main__': open(OUT,"w").write(HTML) print("wrote",OUT)