() {
        exec(document.getElementById('synthStyle'));
    };

    document.getElementById("export-as-svg").onclick = function() {
        export_message("svg");
    };
    document.getElementById("export-as-png").onclick = function () {
        export_message("png");
    };

    window.addEventListener('message', event => {
        const message = event.data;
        console.log("get the message");
        console.log(message.command);
        switch (message.command) {
            case 'netlist' : 
   