<!DOCTYPE html>
<html>
  <head>
    <meta charset="UTF-8" />
    <title>Web shell for doric</title>
  </head>
  <body>
    <p>Hello HTML5</p>
  </body>
  <script type="text/javascript" src="http://shell.doric/doric-web.js"></script>
  <script type="text/javascript">
    function addScriptElement(scriptId, source) {
      const scriptElement = document.createElement("script");
      scriptElement.type = "text/javascript";
      scriptElement.id = scriptId;
      scriptElement.src = source;
      document.body.appendChild(scriptElement);
    }

    function removeScriptElement(scriptId) {
      const scriptElement = document.getElementById(scriptId);
      document.body.removeChild(scriptElement);
    }

    NativeClient.ready();
  </script>
</html>