diff --git a/index.html b/index.html
index 2af2cf8..3d76c4b 100644
--- 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-e16dc1844852e044.css" integrity="sha384&#x2D;0CIFE9iIrDP9L&#x2B;2FHme2ee1lF7YLwmR2Dte&#x2F;jI9DNTzIjfbLQ8pZ8HTX4h&#x2F;COvIN"/>
+    <link rel="stylesheet" href="/style-8a0cb19d59017d81.css" integrity="sha384&#x2D;2iJppUXkJPEN6hpH9&#x2B;zKqvaXXiFgNIPosEOOrHGByarIifNj7MO3yAQzTujgvfBm"/>
     
     
     
@@ -28,12 +28,12 @@
 
     <noscript>This page requires JavaScript</noscript>
   
-<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>
+<link rel="modulepreload" href="/simplicity-webide-9f598b3bcd02a68f.js" crossorigin=anonymous integrity="sha384-Zdo2iLkCgYdHCXOZVkNYlBuzB6l13z/a3HMmqrCtOhBKZumcIfbO3zFg1TH8uGhF">
+<link rel="preload" href="/simplicity-webide-9f598b3bcd02a68f_bg.wasm" crossorigin=anonymous integrity="sha384-nOyPEwfOeMD1idGkq3FDdaQPNpm8TuQHP+1zuN9xJBP1JYMN7vo02WqV2yE9c3V9" as="fetch" type="application/wasm"></head>
   <body>
 <script type="module">
-import init, * as bindings from '/simplicity-webide-bc5c996e2ca725fc.js';
-const wasm = await init('/simplicity-webide-bc5c996e2ca725fc_bg.wasm');
+import init, * as bindings from '/simplicity-webide-9f598b3bcd02a68f.js';
+const wasm = await init('/simplicity-webide-9f598b3bcd02a68f_bg.wasm');
 
 
 window.wasmBindings = bindings;
diff --git a/simplicity-webide-bc5c996e2ca725fc.js b/simplicity-webide-9f598b3bcd02a68f.js
similarity index 98%
rename from simplicity-webide-bc5c996e2ca725fc.js
rename to simplicity-webide-9f598b3bcd02a68f.js
index 0306972..1c10562 100644
--- a/simplicity-webide-bc5c996e2ca725fc.js
+++ b/simplicity-webide-9f598b3bcd02a68f.js
@@ -1121,36 +1121,36 @@ imports.wbg.__wbindgen_memory = function() {
     const ret = wasm.memory;
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper434 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper428 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper436 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper430 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper438 = function(arg0, arg1, arg2) {
+imports.wbg.__wbindgen_closure_wrapper432 = function(arg0, arg1, arg2) {
     const ret = makeMutClosure(arg0, arg1, 73, __wbg_adapter_36);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper872 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 277, __wbg_adapter_43);
+imports.wbg.__wbindgen_closure_wrapper869 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 279, __wbg_adapter_43);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper4608 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 1916, __wbg_adapter_46);
+imports.wbg.__wbindgen_closure_wrapper4605 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 1918, __wbg_adapter_46);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper4866 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2040, __wbg_adapter_49);
+imports.wbg.__wbindgen_closure_wrapper4863 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2042, __wbg_adapter_49);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper5017 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2078, __wbg_adapter_52);
+imports.wbg.__wbindgen_closure_wrapper5014 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2080, __wbg_adapter_52);
     return addHeapObject(ret);
 };
-imports.wbg.__wbindgen_closure_wrapper6393 = function(arg0, arg1, arg2) {
-    const ret = makeMutClosure(arg0, arg1, 2084, __wbg_adapter_55);
+imports.wbg.__wbindgen_closure_wrapper6390 = function(arg0, arg1, arg2) {
+    const ret = makeMutClosure(arg0, arg1, 2086, __wbg_adapter_55);
     return addHeapObject(ret);
 };
 
diff --git a/simplicity-webide-bc5c996e2ca725fc_bg.wasm b/simplicity-webide-9f598b3bcd02a68f_bg.wasm
similarity index 64%
rename from simplicity-webide-bc5c996e2ca725fc_bg.wasm
rename to simplicity-webide-9f598b3bcd02a68f_bg.wasm
index 10d47b6..0ea32d6 100644
Binary files a/simplicity-webide-bc5c996e2ca725fc_bg.wasm and b/simplicity-webide-9f598b3bcd02a68f_bg.wasm differ
diff --git a/style-e16dc1844852e044.css b/style-8a0cb19d59017d81.css
similarity index 86%
rename from style-e16dc1844852e044.css
rename to style-8a0cb19d59017d81.css
index e2d7c6f..070fda0 100644
--- a/style-e16dc1844852e044.css
+++ b/style-8a0cb19d59017d81.css
@@ -611,7 +611,7 @@
 
 .program-title {
   margin: 0 0 7px 0;
-  font-size: 20px;
+  font-size: 28px;
   font-style: normal;
   font-weight: 700;
   line-height: normal;
@@ -629,35 +629,36 @@
 
 .navbar {
   overflow: hidden;
-  border: 1px solid #ccc;
-  background-color: #f1f1f1;
+  display: flex;
+  align-items: stretch;
+  background-color: rgba(0, 0, 0, 0);
 }
-.navbar button {
-  background-color: inherit;
-  float: left;
-  border: none;
-  outline: none;
-  cursor: pointer;
+.navbar .tab {
+  color: white;
   padding: 14px 16px;
+  cursor: pointer;
+  border: 1px solid #2E3135;
+  background: #191C21;
 }
-.navbar button:hover {
-  background-color: #ddd;
-}
-.navbar button:active {
-  background-color: #bbb;
+.navbar .tab.active {
+  background: #1d2127;
+  border: 1px solid #1d2127;
 }
-.navbar .dropdown {
-  float: left;
-  overflow: hidden;
+.navbar .button {
+  color: white;
+  padding: 14px 16px;
+  cursor: pointer;
+  border: none;
+  background: #424953;
+  margin: 2px 0 2px 2px;
 }
-.navbar .dropdown .dropdown-button {
-  font-family: inherit;
-  margin: 0;
+.navbar .run-button {
+  background: #5134E0;
+  margin-right: 2px;
 }
 .navbar .dropdown .dropdown-content {
   display: none;
   position: absolute;
-  background-color: #f1f1f1;
   min-width: 160px;
   box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
   z-index: 1;
@@ -665,15 +666,36 @@
 .navbar .dropdown .dropdown-content button {
   width: 100%;
   float: none;
-  color: black;
+  color: white;
   padding: 12px 16px;
   text-decoration: none;
   display: block;
   text-align: left;
+  background: #2e333b;
+  border: 1px solid #0d0e10;
+  cursor: pointer;
+}
+.navbar .dropdown .dropdown-content button:hover {
+  background: #3c424c;
 }
 .navbar .dropdown:hover .dropdown-content {
   display: block;
 }
+.navbar .dropdown:hover .dropdown-button {
+  background: #2e333b;
+}
+.navbar .beta-tag {
+  position: absolute;
+  right: 40px;
+  top: 20px;
+}
+
+.tab-content {
+  padding: 10px;
+  background: #1d2127;
+  margin-bottom: 20px;
+  min-height: 350px;
+}
 
 .string-box, .error-box, .neutral-box, .success-box {
   border: 1px dotted #ff0000;
@@ -696,6 +718,74 @@
 .error-box {
   border: 1px dotted #ff0000;
   color: #ff0000;
+  margin-bottom: 10px;
+}
+
+.witness-table {
+  position: relative;
+}
+.witness-table .table-form .table-form-buttons {
+  position: absolute;
+  bottom: 20px;
+  right: 20px;
+}
+
+.transaction-tab {
+  position: relative;
+}
+.transaction-tab .transaction-display-row {
+  display: flex;
+  align-items: center;
+  margin-bottom: 10px;
+}
+.transaction-tab .transaction-display-row .display-row-label {
+  display: inline-block;
+  width: 120px;
+  text-align: right;
+  margin-right: 10px;
+}
+.transaction-tab .transaction-tab-apply-button {
+  position: absolute;
+  bottom: 20px;
+  right: 20px;
+}
+
+.key-store-tab .key-store-display-row {
+  display: flex;
+  align-items: center;
+  margin-bottom: 10px;
+}
+.key-store-tab .key-store-display-row .display-row-label {
+  display: inline-block;
+  margin: 0 10px;
+}
+.key-store-tab .key-store-display-row .input {
+  flex-grow: 2;
+}
+.key-store-tab .signed-data-content {
+  border: 1px solid #5134e0;
+  border-radius: 8px;
+  padding-top: 20px;
+}
+
+.tab-title {
+  font-size: 28px;
+  font-style: normal;
+  font-weight: 700;
+  line-height: normal;
+  margin-bottom: 12px;
+}
+
+.tab-description {
+  font-size: 16px;
+  font-style: normal;
+  font-weight: 400;
+  line-height: normal;
+  color: #b5bdc2;
+  margin-bottom: 20px;
+}
+.tab-description a {
+  color: #7973f4;
 }
 
 * {
@@ -799,6 +889,23 @@ p {
   flex-direction: column;
 }
 
+.flat-button, .key-store-tab .copy-button, .hash-store-tab .copy-button {
+  color: white;
+  padding: 14px 16px;
+  cursor: pointer;
+  border: none;
+  background: #5134E0;
+  border: 1px solid #5134E0;
+  border-radius: 4px;
+  margin-right: 4px;
+}
+.flat-button i, .key-store-tab .copy-button i, .hash-store-tab .copy-button i {
+  margin: 0 4px;
+}
+.flat-button.bordered, .key-store-tab .bordered.copy-button, .hash-store-tab .bordered.copy-button {
+  background: #191c21;
+}
+
 .submit-button, .push-button, .pop-button, .copy-button {
   border: 1px solid #5134E0;
   padding: 4px;
@@ -816,3 +923,16 @@ p {
 input:invalid {
   background-color: lightpink;
 }
+
+.input {
+  background: #191c21;
+  border: 1px solid rgba(255, 255, 255, 0.1);
+  border-radius: 4px;
+  padding: 6px 12px;
+  color: white;
+  width: 260px;
+}
+.input:focus-visible {
+  outline: none;
+  border: 1px solid rgba(255, 255, 255, 0.18);
+}
