 };
        worker.onmessage = function(e) {
          var div = document.createElement('div');
          div.className = 'render';
          div.innerHTML = e.data.svg;
          document.body.appendChild(div);
        };
      };
      function render() {
        worker.postMessage({
          formula: document.getElementById('formula').value,
          display: true,
        });
      }
    </script>
  </head>
  <body>
    <h1>tex2svg-webworker demo</h1>
    <% if (false) { %>
      <div style="border: s