From b385a89bc3aecefce0bdc1f4c08347bc87bc2855 Mon Sep 17 00:00:00 2001
From: xtof <christophe.alex@gmail.com>
Date: Sat, 17 Oct 2026 00:14:23 +0200
Subject: [PATCH] Add a GitHub link with the GitHub logo to the header

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 site/index.html | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/site/index.html b/site/index.html
index 8ff28a7..995a2d7 100644
--- a/site/index.html
+++ b/site/index.html
@@ -85,6 +85,9 @@
 .nav a{color:var(--ink);text-decoration:none}
 .nav a:hover{color:var(--navy)}
 @media (max-width:760px){.nav a:not(.keep){display:none}}
+.nav a.gh-link{display:inline-flex;align-items:center;gap:6px;padding:6px 12px;margin:-6px 0;border:1px solid var(--navy);border-radius:6px;color:var(--navy);font-weight:700}
+.nav a.gh-link:hover{background:var(--navy);color:var(--bg)}
+@media (max-width:520px){.nav a.gh-link{padding:6px 8px}.nav a.gh-link span{display:none}}
 
 /* hero */
 .hero{position:relative;overflow:hidden;padding-block:clamp(64px,11vw,128px) clamp(56px,8vw,96px)}
@@ -280,6 +283,7 @@
       <a href="#talks" class="keep">Talks</a>
       <a href="#services">Services</a>
       <a href="#contact" class="keep">Contact</a>
+      <a href="https://github.com/keplertech" class="keep gh-link" aria-label="KeplerTech on GitHub"><svg class="gh" viewBox="0 0 16 16" width="18" height="18" aria-hidden="true"><path fill="currentColor" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0016 8c0-4.42-3.58-8-8-8z"/></svg><span>GitHub</span></a>
     </nav>
   </div>
 </header>
@@ -294,7 +298,7 @@ <h1>Open EDA tools, built for <span class="rot" aria-hidden="true"><span class="
     <p class="sum">KeplerTech builds open-source EDA tools designed to be driven by AI agents, and usable standalone by engineers. The tools contain no AI: the agent brings the reasoning, the tools bring exact, reproducible results.</p>
     <div class="ctas">
       <a class="btn solid" href="#loop">See the agent loop</a>
-      <a class="btn ghost" href="https://github.com/keplertech">GitHub</a>
+      <a class="btn ghost" href="https://github.com/keplertech"><svg class="gh" viewBox="0 0 16 16" width="18" height="18" aria-hidden="true"><path fill="currentColor" d="M8 0C3.58 0 0 3.58 0 8c0 3.54 2.29 6.53 5.47 7.59.4.07.55-.17.55-.38 0-.19-.01-.82-.01-1.49-2.01.37-2.53-.49-2.69-.94-.09-.23-.48-.94-.82-1.13-.28-.15-.68-.52-.01-.53.63-.01 1.08.58 1.23.82.72 1.21 1.87.87 2.33.66.07-.52.28-.87.51-1.07-1.78-.2-3.64-.89-3.64-3.95 0-.87.31-1.59.82-2.15-.08-.2-.36-1.02.08-2.12 0 0 .67-.21 2.2.82.64-.18 1.32-.27 2-.27.68 0 1.36.09 2 .27 1.53-1.04 2.2-.82 2.2-.82.44 1.1.16 1.92.08 2.12.51.56.82 1.27.82 2.15 0 3.07-1.87 3.75-3.65 3.95.29.25.54.73.54 1.48 0 1.07-.01 1.93-.01 2.2 0 .21.15.46.55.38A8.013 8.013 0 0016 8c0-4.42-3.58-8-8-8z"/></svg>GitHub</a>
     </div>
     <div class="install"><span>pip install najaeda</span><button type="button" id="copy">Copy</button></div>
   </div>