Deploying to pages from @ 2e40644 🚀

uncomputable · Oct 2, 2024 · a7c06fe · a7c06fe
1 parent a27f03b
commit a7c06fe
Show file tree

Hide file tree

Showing 4 changed files with 39 additions and 50 deletions.
diff --git a/index.html b/index.html
@@ -15,7 +15,7 @@
     <link rel="icon" href="/favicon-45ca9b991953adf3.png" integrity="sha384&#x2D;0sl&#x2F;QMsXqbq4Wuar3PLp5TWNPVEktxcKOa7aMVDi9TMGs88HQnTks5s2rttzBv1x"/>
     <title>Simfony IDE</title>
 
-    <link rel="stylesheet" href="/style-4b78eac51f5f9c5c.css" integrity="sha384&#x2D;Agb0OdC6GPMXrp7k5wWR3ZdLB9&#x2B;AnsxsfF7&#x2B;7T7U5yvpGbLllXFip9vDSEseMB3i"/>
+    <link rel="stylesheet" href="/style-e16dc1844852e044.css" integrity="sha384&#x2D;0CIFE9iIrDP9L&#x2B;2FHme2ee1lF7YLwmR2Dte&#x2F;jI9DNTzIjfbLQ8pZ8HTX4h&#x2F;COvIN"/>
 
 
 
@@ -28,12 +28,12 @@
 
     <noscript>This page requires JavaScript</noscript>
 
-<link rel="modulepreload" href="/simplicity-webide-d9b5b64909aa0019.js" crossorigin=anonymous integrity="sha384-TRuqTjNN6UHNQO3sHXNiFtfxT8lY79mW3W+/2WU+XWe12BYCH1qdRl+iD1vGXXTa">
-<link rel="preload" href="/simplicity-webide-d9b5b64909aa0019_bg.wasm" crossorigin=anonymous integrity="sha384-N2XPAOVgnnE3NMHsY8paieAQnKnQyLxQUkVOWxyl1ng5dcy7YaacE2Ei+unh6Twe" as="fetch" type="application/wasm"></head>
+<link rel="modulepreload" href="/simplicity-webide-bc5c996e2ca725fc.js" crossorigin=anonymous integrity="sha384-HS7DAJCxbipLNImj2ODumkLPA9//IG2EvwLwrmtFeJWAe9M1k3DHvQLyF7ghRUcr">
+<link rel="preload" href="/simplicity-webide-bc5c996e2ca725fc_bg.wasm" crossorigin=anonymous integrity="sha384-RufmtlciQ+llrrnvZNc+B08wbpTz6PG1J7oSso9khY3gosIqTv5uIQFe2Focw2G0" as="fetch" type="application/wasm"></head>
   <body>
 <script type="module">
-import init, * as bindings from '/simplicity-webide-d9b5b64909aa0019.js';
-const wasm = await init('/simplicity-webide-d9b5b64909aa0019_bg.wasm');
+import init, * as bindings from '/simplicity-webide-bc5c996e2ca725fc.js';
+const wasm = await init('/simplicity-webide-bc5c996e2ca725fc_bg.wasm');
 
 
 window.wasmBindings = bindings;

diff --git a/simplicity-webide-d9b5b64909aa0019.js → simplicity-webide-bc5c996e2ca725fc.js b/simplicity-webide-d9b5b64909aa0019.js → simplicity-webide-bc5c996e2ca725fc.js
@@ -1121,35 +1121,35 @@ imports.wbg.__wbindgen_memory = function() {
     const ret = wasm.memory;
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper580 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 184, __wbg_adapter_36);
+imports.wbg.__wbindgen_closure_wrapper434 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper582 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 184, __wbg_adapter_36);
+imports.wbg.__wbindgen_closure_wrapper436 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper584 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 184, __wbg_adapter_36);
+imports.wbg.__wbindgen_closure_wrapper438 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper869 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper872 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 277, __wbg_adapter_43);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper4605 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper4608 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 1916, __wbg_adapter_46);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper4863 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper4866 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 2040, __wbg_adapter_49);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper5014 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper5017 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 2078, __wbg_adapter_52);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper6390 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper6393 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 2084, __wbg_adapter_55);
     return addHeapObject(ret);
 };

diff --git a/simplicity-webide-d9b5b64909aa0019_bg.wasm → simplicity-webide-bc5c996e2ca725fc_bg.wasm b/simplicity-webide-d9b5b64909aa0019_bg.wasm → simplicity-webide-bc5c996e2ca725fc_bg.wasm
diff --git a/style-4b78eac51f5f9c5c.css → style-e16dc1844852e044.css b/style-4b78eac51f5f9c5c.css → style-e16dc1844852e044.css
@@ -130,39 +130,31 @@
     background-color: #0d0f11;
   }
 }
-.run-button button {
-  background-size: 0% !important;
-  background-repeat: no-repeat !important;
-  background-position: center !important;
-}
-
-.run-button button.expand_start {
-  background-size: 1000% !important;
-  transition: background-size 0.2s linear;
-}
-.run-button button.expand_start.green {
-  background-image: radial-gradient(circle at center, #00ad03 10%, #5134E0 11%) !important;
-}
-.run-button button.expand_start.red {
-  background-image: radial-gradient(circle at center, #ba0000 10%, #5134E0 11%) !important;
-}
-
-.run-button button.expand_end {
-  background-size: 1000% !important;
-  transition: background-size 0.2s linear;
-}
-.run-button button.expand_end.green {
-  background-image: radial-gradient(circle at center, #5134E0 10%, #00ad03 11%) !important;
+@keyframes run-button-success {
+  0% {
+    background-color: MediumSeaGreen;
+  }
+  100% {
+    background-color: inherit;
+  }
 }
-.run-button button.expand_end.red {
-  background-image: radial-gradient(circle at center, #5134E0 10%, #ba0000 11%) !important;
+@keyframes run-button-failure {
+  0% {
+    background-color: red;
+  }
+  100% {
+    background-color: inherit;
+  }
 }
-
-.run-button button.button_color.green {
-  background-color: #00ad03 !important;
+.run-button.success {
+  animation-name: run-button-success;
+  animation-duration: 0.5s;
+  animation-fill-mode: forwards;
 }
-.run-button button.button_color.red {
-  background-color: #ba0000 !important;
+.run-button.failure {
+  animation-name: run-button-failure;
+  animation-duration: 0.5s;
+  animation-fill-mode: forwards;
 }
 
 /* Tooltip container */
@@ -651,7 +643,7 @@
 .navbar button:hover {
   background-color: #ddd;
 }
-.navbar button.active {
+.navbar button:active {
   background-color: #bbb;
 }
 .navbar .dropdown {
@@ -679,9 +671,6 @@
   display: block;
   text-align: left;
 }
-.navbar .dropdown .dropdown-content button:hover {
-  background-color: #ddd;
-}
 .navbar .dropdown:hover .dropdown-content {
   display: block;
 }