chore(site): drop self-narrating captions, make proof arrows a standing cue.

The captions under the landing figures ("actual TypeScript compiler
output", "inferred type, verbatim", "real footage: ...") read as authored
commentary; the figures should self-evidence. The proof wall's "every
logo links to proof" footnote is replaced by the corner arrow becoming a
standing cue: always faint, accent on hover.

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Author: igalklebanov

site/src/components/DemoVideo.module.css

@@ -28,11 +28,3 @@
   width: 106.67%;
 }
 
-.caption {
-  color: var(--kl-mut, #9b9b9b);
-  font-family: var(--ifm-font-family-monospace);
-  font-size: 12px;
-  letter-spacing: 0.04em;
-  margin-top: 12px;
-  text-align: center;
-}

site/src/components/DemoVideo.tsx

@@ -68,9 +68,6 @@ export function DemoVideo() {
           </video>
         )}
       </div>
-      <figcaption className={styles.caption}>
-        real footage: schema-aware autocompletion and inline docs
-      </figcaption>
     </figure>
   )
 }

site/src/pages/index.module.css

@@ -359,26 +359,20 @@ a.stat:hover .statValue {
   text-decoration: none;
 }
 
+/* Every cell links to proof; the corner arrow is the standing cue, faint
+   until intent. */
 .productionNames a:not(.productionCTA)::after {
-  color: var(--kl-acc);
+  color: var(--kl-faint);
   content: '↗';
   font-size: 10px;
-  opacity: 0;
   position: absolute;
   right: 4px;
   top: 2px;
-  transition: opacity 0.15s ease;
+  transition: color 0.15s ease;
 }
 
 .productionNames a:hover::after {
-  opacity: 1;
-}
-
-.productionFootnote {
-  color: var(--kl-faint);
-  font-family: var(--ifm-font-family-monospace);
-  font-size: 11px;
-  letter-spacing: 0.04em;
+  color: var(--kl-acc);
 }
 
 .productionNames a.productionCTA {
@@ -478,15 +472,6 @@ a.stat:hover .statValue {
   text-underline-offset: 4px;
 }
 
-.editorCaption {
-  color: var(--kl-mut);
-  font-family: var(--ifm-font-family-monospace);
-  font-size: 12px;
-  letter-spacing: 0.04em;
-  margin-top: 12px;
-  text-align: center;
-}
-
 .errPanel {
   border-top: 1px solid var(--kl-line);
   color: var(--kl-err-text);

site/src/pages/index.tsx

@@ -366,9 +366,6 @@ function SectionProduction() {
             </span>
           </React.Fragment>
         ))}
-        <span className={styles.productionFootnote}>
-          every logo links to proof
-        </span>
       </div>
     </section>
   )
@@ -411,9 +408,6 @@ function SectionCompiler() {
               <span>ts(2345)</span>
             </div>
           </div>
-          <div className={styles.editorCaption}>
-            actual TypeScript compiler output
-          </div>
         </div>
       </div>
     </section>
@@ -457,7 +451,6 @@ function SectionComposition() {
               }
             </div>
           </div>
-          <div className={styles.editorCaption}>inferred type, verbatim</div>
         </div>
       </div>
     </section>