diff --git a/index.html b/index.html
index b08f596..fc37fa7 100644
--- a/index.html
+++ b/index.html
@@ -4,7 +4,7 @@
     <meta charset="utf-8" />
     <meta name="viewport" content="width=device-width, initial-scale=1" />
     <meta name="theme-color" content="#173d35" />
-    <title>Proven Commons — Software the world can build on</title>
+    <title>Proven Commons: Software the world can build on</title>
     <meta
       name="description"
       content="A verified software factory and academy. We prove critical software follows its specification, publish the evidence, and train people through real contributions."
@@ -528,7 +528,7 @@ <h3>Next on the roadmap</h3>
           </div>
           <div class="project-grid">
             <article>
-              <span class="project-index">01 — ACCESS</span>
+              <span class="project-index">01 · ACCESS</span>
               <h3>Policy engine</h3>
               <p>
                 Cedar-style decisions: a satisfied forbid means deny, no
@@ -537,7 +537,7 @@ <h3>Policy engine</h3>
               </p>
             </article>
             <article>
-              <span class="project-index">02 — DATA</span>
+              <span class="project-index">02 · DATA</span>
               <h3>SQLite file reader</h3>
               <p>
                 Bounded parsing of headers and records. Return an error instead
@@ -545,7 +545,7 @@ <h3>SQLite file reader</h3>
               </p>
             </article>
             <article>
-              <span class="project-index">03 — PROTOCOLS · PROOFS DONE</span>
+              <span class="project-index">03 · PROTOCOLS · PROOFS DONE</span>
               <h3>Redis parser &amp; store</h3>
               <p>
                 Proved in Lean: parsing what the printer wrote gives the same