fmt

cryspen · Jan 14, 2025 · bf7624a · bf7624a
1 parent 72fc6c1
commit bf7624a
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 15 deletions.
diff --git a/docs/javascripts/hax_playground.js b/docs/javascripts/hax_playground.js
@@ -135,12 +135,13 @@ function setup() {
         button_tc.classList.add('md-hax-playground');
         button_tc.style.right = "4.5em";
         button_tc.onclick = () => {
-            call_playground(result_block, 'fstar+tc', getCode());
-        };
-        e.prepend(button_tc);
+            button_tc.onclick = () => {
+                call_playground(result_block, 'fstar+tc', getCode());
+            };
+            e.prepend(button_tc);
 
-        code.style.padding = "0 0.9em";
+            code.style.padding = "0 0.9em";
+        }
     }
-}
 
-setup();
+    setup();
diff --git a/docs/stylesheets/hax_playground.css b/docs/stylesheets/hax_playground.css
@@ -1,11 +1,3 @@
 .md-hax-playground::after {
     display: none;
-}
-
-font-family: "Monaco",
-"Menlo",
-"Ubuntu Mono",
-"Consolas",
-"Source Code Pro",
-"source-code-pro",
-monospace;
+}