Initial publish to web!

evoth · Apr 21, 2024 · a99ec2f · a99ec2f
commit a99ec2f
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 0 deletions.
diff --git a/assets/index-3Z4K91_B.css b/assets/index-3Z4K91_B.css
diff --git a/assets/index-ATCk3V6V.js b/assets/index-ATCk3V6V.js
diff --git a/index.html b/index.html
@@ -0,0 +1,14 @@
+<!doctype html>
+<html lang="en" style="height: 100%">
+  <head>
+    <meta charset="UTF-8" />
+    <link rel="icon" type="image/svg+xml" href="/sequent_icon.svg" />
+    <meta name="viewport" content="width=device-width, initial-scale=1.0" />
+    <title>Sequent Editor</title>
+    <script type="module" crossorigin src="/assets/index-ATCk3V6V.js"></script>
+    <link rel="stylesheet" crossorigin href="/assets/index-3Z4K91_B.css">
+  </head>
+  <body style="height: 100%">
+    <div id="app" style="height: 100%"></div>
+  </body>
+</html>
diff --git a/sequent_icon.svg b/sequent_icon.svg