From 30122ccadb996b632a02f2c63618cbe315986a26 Mon Sep 17 00:00:00 2001
From: Content Agent <content@scobleclaw.ai>
Date: Tue, 28 Apr 2026 23:54:48 -0700
Subject: [PATCH] fix: wrap code block in pre tag for proper formatting

---
 landing/index.html | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

diff --git a/landing/index.html b/landing/index.html
index 524a177..3428e98 100644
--- a/landing/index.html
+++ b/landing/index.html
@@ -106,6 +106,11 @@
       font-family: 'SF Mono', Monaco, monospace;
       font-size: 0.875rem; line-height: 1.7;
     }
+    .code-block pre {
+      margin: 0; padding: 0; background: transparent; border: none;
+      font-family: inherit; font-size: inherit; line-height: inherit;
+      white-space: pre; overflow-x: auto;
+    }
     .code-block .kw { color: #ff79c6; }
     .code-block .ty { color: #8be9fd; }
     .code-block .st { color: #f1fa8c; }
@@ -199,8 +204,7 @@
   <h2>SpeckDL: A Specification Language</h2>
   <p>SpeckDL defines <em>what</em> a system does, not <em>how</em>. The compiler produces deterministic output: Z3 → Decision Structure → WASM. Same input, same output — every time.</p>
 
-  <div class="code-block">
-<span class="kw">speck</span> <span class="ty">RetryHandler</span> {
+  <div class="code-block"><pre><span class="kw">speck</span> <span class="ty">RetryHandler</span> {
   input: { operation: Operation, maxRetries: Nat }
   output: Result
   <span class="cm">// Constraints the compiler proves via Z3</span>
@@ -214,8 +218,7 @@
   provenance: { design_decision: <span class="st">"ADR-0042"</span> }
   source: conversation ref <span class="st">"slack://C123/456"</span>
   review: manual
-}
-  </div>
+}</pre></div>
 </section>
 
 <section id="philosophy">