From 0950dd0299ce316c9f17b9027f2415b7a655d023 Mon Sep 17 00:00:00 2001
From: DikieDick <26772815+DikieDick@users.noreply.github.com>
Date: Tue, 11 Aug 2026 14:21:02 +0200
Subject: [PATCH] Shrink header, add get in touch & update to rocq-waterproof

---
 index.html | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/index.html b/index.html
index d90bf36..bd61b81 100644
--- a/index.html
+++ b/index.html
@@ -52,8 +52,8 @@
 </header>
 -->
 <main>
-  <div class="position-relative overflow-hidden p-3 p-md-5 m-md-3 text-center bg-light">
-    <div class="col-md-5 p-lg-5 mx-auto my-5">
+  <div class="position-relative overflow-hidden p-3 text-center bg-light">
+    <div class="col-md-5 mx-auto my-5">
       <h1 class="display-4 fw-normal">Waterproof</h1>
       <p class="lead fw-normal">An educational tool for proving mathematical statements!</p>
     </div>
@@ -117,6 +117,8 @@ <h2 class="featurette-heading">Install locally</h2>
         <p class="lead">
           Install the waterproof extension from the <a class="link-primary" href="https://marketplace.visualstudio.com/items?itemName=waterproof-tue.waterproof">VSCode marketplace</a> or from within VSCode and follow the instructions there.
         </p>
+	<h2 class="featurette-heading">Get in touch</h2>
+	<p class="lead">If you encounter any problems with Waterproof, want to request a feature, or just want to chat, feel free to join us on <a class="link-primary" href="https://waterproof.zulipchat.com">Zulip</a>.</p>
       </div>
       <div class="col-md-7 order-md-1">
         <img class="wp-image-border" src="assets/Waterproof-vscode-screenshot.png" alt="Example screenshot of notebook" width=530>
@@ -135,10 +137,10 @@ <h2 class="featurette-heading">Install locally</h2>
       <img src="assets/druppel.png" width=100 height=100/>
     </div>
     <div class="col-6 col-lg">
-      <h5>Github source</h5>
+      <h5>GitHub source</h5>
       <ul class="list-unstyled text-small">
         <li><a class="link-secondary" href="https://github.com/impermeable/waterproof-vscode">Waterproof (VSCode extension)</a></li>
-        <li><a class="link-secondary" href="https://github.com/impermeable/coq-waterproof">Coq-waterproof (Custom proof language)</a></li>
+        <li><a class="link-secondary" href="https://github.com/impermeable/rocq-waterproof">Rocq-waterproof (Custom proof language)</a></li>
         <li><a class="link-secondary" href="https://github.com/impermeable/waterproof-exercise-sheets">Waterproof exercise sheets</a></li>
         <li><a class="link-secondary" href="https://github.com/impermeable">Impermeable</a></li>
         <li><a class="link-secondary" href="https://github.com/impermeable/impermeable.github.io">This site</a></li>