From e7f5be7af268e4f7e454b5862533a65bdd0bd82c Mon Sep 17 00:00:00 2001
From: sbosse <sbosse@uni-bremen.de>
Date: Mon, 21 Jul 2025 23:12:20 +0200
Subject: [PATCH] Mon 21 Jul 22:43:21 CEST 2025

---
 js/web/example.html | 56 +++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 56 insertions(+)
 create mode 100644 js/web/example.html
diff --git a/js/web/example.html b/js/web/example.html
new file mode 100644
index 0000000..6d45443
--- /dev/null
+++ b/js/web/example.html
@@ -0,0 +1,56 @@
+<!doctype html>
+<html>
+<head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="chrome=1">
+    <title>JAVM</title>
+    <link rel="stylesheet" href="styles.css">
+    <script src="../ext/respond.js"></script>
+    <!--[if lt IE 9]>
+    <script src="//html5shiv.googlecode.com/svn/trunk/html5.js"></script>
+    <![endif]-->
+    <!--[if lt IE 8]>
+    <link rel="stylesheet" href="ie.css">
+    <![endif]-->
+    <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
+    <script src="../ext/respond.js"></script>
+    <link rel="stylesheet" href="../ext/jquery-ui.css">
+    <script src="../ext/jquery.js"></script>
+    <script src="../ext/jquery-ui.js"></script>
+    <script src="../ext/underscore-min.js"></script>
+    <script>Josh = {Debug: true };</script>
+    <script src="killring.js"></script>
+    <script src="history.js"></script>
+    <script src="readline.js"></script>
+    <script src="shell.js"></script>
+    <script src="pathhandler.js"></script>
+    <script src="example.js"></script>
+    <style type="text/css">
+        #shell-panel {
+            height: 200px;
+            width: 100%;
+            background-color: #002f05;
+            color: #00fe00;
+            padding: 20px 20px 20px 20px;
+            font-family: 'Source Code Pro';
+            overflow: scroll;
+            overflow-x: hidden;
+            overflow-y: scroll;
+            border: 1px dashed #E6EBE0;
+        }
+
+        #shell-cli .prompt {
+            font-weight: bold;
+        }</style>
+</head>
+<body>
+<div class="wrapper">
+
+Drag bottom of shell to change size.
+<div id="shell-panel" tabindex="0">
+    <div>Type <code>help</code> or hit <code>TAB</code> for a list of commands.
+    </div>
+    <div id="shell-view"></div>
+</div>
+</div>
+</body>
