h', function (event) {
          if (event.success) {
            var a = document.querySelector('#pdflink')
            a.textContent = event.url
            a.setAttribute('href', event.url)
          }
        })
        compile.on('log', function (m) {
          pre.textContent += m + '\n'
        })
        compile.on('err', function (m) {
          pre.textContent += m + '\n'
        })
      }
    </script>
  </body>
</html>
