<!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>
