sharkdp · sharkdp · Aug 21, 2024 · Sep 1, 2024 · Sep 1, 2024 · Sep 1, 2024
diff --git a/numbat-wasm/www/editor.css b/numbat-wasm/www/editor.css
@@ -0,0 +1,101 @@
+@import url('https://fonts.googleapis.com/css2?family=Fira+Mono:wght@400;700&family=Lustria&family=Lato:wght@700&display=swap');
+
+body,
+html {
+    margin: 0;
+    padding: 0;
+    height: 100%;
+    width: 100%;
+
+    font-size: large;
+
+    /* Light theme only */
+    --editor-bg-color: #FFFFFF;
+    --results-bg-color: #fafafa;
+    --editor-accent-color: #eee;
+    --editor-text-color: black;
+
+    background-color: var(--editor-bg-color);
+    caret-color: var(--editor-text-color);
+}
+
+
+
+#editor {
+    font-family: 'Fira Mono', monospace;
+    font-size: 1em;
+    width: 100vw;
+    height: 100vh;
+}
+
+
+
+/* Subtle line numbers */
+.monaco-editor .line-numbers {
+    color: #ddd !important;
+}
+
+/* Override Monaco's default parentheses color only */
+.monaco-editor .bracket-highlighting-0,
+.monaco-editor .bracket-highlighting-1,
+.monaco-editor .bracket-highlighting-2 {
+    color: #db2828 !important;
+}
+
+/* More specific override for parentheses tokens */
+.monaco-editor .view-line span[title="("],
+.monaco-editor .view-line span[title=")"] {
+    color: #db2828 !important;
+}
+
+
+.type-expr {
+    font-family: 'Fira Mono', monospace;
+    font-size: 1em;
+    margin-top: 0em;
+    margin-bottom: 0;
+    padding: 1em;
+    overflow: auto;
+    display: block;
+}
+
+
+
+
+.numbat-type-identifier {
+    color: #ca3b63;
+}
+
+
+.numbat-value {
+    color: #0040ff;
+}
+
+
+.numbat-string {
+    color: #27a85f;
+}
+
+
+.numbat-unit {
+    color: #8812a6;
+}
+
+.numbat-dimmed {
+    color: #888;
+}
+
+.numbat-diagnostic-red {
+    color: #cc3b0a;
+}
+
+.numbat-diagnostic-blue {
+    color: #0040ff;
+}
+
+.numbat-diagnostic-bold {
+    font-weight: bold;
+}
+
+
+
diff --git a/numbat-wasm/www/editor.html b/numbat-wasm/www/editor.html
@@ -0,0 +1,17 @@
+<!DOCTYPE html>
+<html lang="en">
+<head>
+    <meta charset="UTF-8">
+    <meta name="viewport" content="width=device-width, initial-scale=1.0">
+    <title>Numbat Editor</title>
+    <link rel="icon" type="image/png" href="numbat-196x196.png" sizes="196x196">
+    <link rel="icon" type="image/png" href="numbat-32x32.png" sizes="32x32">
+    <link rel="icon" type="image/png" href="numbat-16x16.png" sizes="16x16">
+    <link rel="stylesheet" href="editor.css">
+</head>
+<body>
+    <div id="editor"></div>
+    <script src="https://cdnjs.cloudflare.com/ajax/libs/monaco-editor/0.45.0/min/vs/loader.js"></script>
+    <script type="module" src="editor.js"></script>
+</body>
+</html>