From 0ebd066754f9607b775000e68d95f95ba639af88 Mon Sep 17 00:00:00 2001
From: tannevaled <tannevaled@users.noreply.github.com>
Date: Sun, 4 Oct 2026 11:09:16 +0200
Subject: [PATCH] Add the GitHub mark to the navbar GitHub link

The navbar's GitHub link was text only. It now carries the GitHub mark
in front of its label: the Octicons "mark-github" 16px icon from
@primer/octicons v19.38.0 (MIT, GitHub Inc.), path copied verbatim
from build/svg/mark-github-16.svg.

The SVG is sized to 1em, fills with currentColor so it follows the
link colour in light, dark and hover states, and is aria-hidden; the
link keeps "GitHub" as its accessible name.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
---
 layouts/partials/nav.html | 4 +++-
 static/css/main.css       | 2 ++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/layouts/partials/nav.html b/layouts/partials/nav.html
index 92ad764..f5f668c 100644
--- a/layouts/partials/nav.html
+++ b/layouts/partials/nav.html
@@ -3,7 +3,9 @@
     <div class="brand"><img class="brand-logo" src="{{ "img/logo.svg" | relURL }}" alt="" width="28" height="28">{{ .Site.Params.brand }}</div>
     <div>
       {{ range .Site.Menus.main }}<a href="{{ .URL }}">{{ .Name }}</a>{{ end }}
-      <a href="https://github.com/{{ .Site.Params.github }}">GitHub</a>
+      {{- /* GitHub mark: Octicons "mark-github" (16px), @primer/octicons v19.38.0,
+             build/svg/mark-github-16.svg, MIT License (c) GitHub Inc. Path copied verbatim. */}}
+      <a class="nav-github" href="https://github.com/{{ .Site.Params.github }}"><svg class="nav-icon" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 16 16" width="16" height="16" fill="currentColor" aria-hidden="true" focusable="false"><path d="M6.766 11.328c-2.063-.25-3.516-1.734-3.516-3.656 0-.781.281-1.625.75-2.188-.203-.515-.172-1.609.063-2.062.625-.078 1.468.25 1.968.703.594-.187 1.219-.281 1.985-.281.765 0 1.39.094 1.953.265.484-.437 1.344-.765 1.969-.687.218.422.25 1.515.046 2.047.5.593.766 1.39.766 2.203 0 1.922-1.453 3.375-3.547 3.64.531.344.89 1.094.89 1.954v1.625c0 .468.391.734.86.547C13.781 14.359 16 11.53 16 8.03 16 3.61 12.406 0 7.984 0 3.563 0 0 3.61 0 8.031a7.88 7.88 0 0 0 5.172 7.422c.422.156.828-.125.828-.547v-1.25c-.219.094-.5.156-.75.156-1.031 0-1.64-.562-2.078-1.609-.172-.422-.36-.672-.719-.719-.187-.015-.25-.093-.25-.187 0-.188.313-.328.625-.328.453 0 .844.281 1.25.86.313.452.64.655 1.031.655s.641-.14 1-.5c.266-.265.47-.5.657-.656"/></svg>GitHub</a>
       <button id="theme-toggle" type="button" class="theme-toggle" aria-label="Toggle color theme" title="Toggle color theme">
         <span class="theme-toggle-icon" aria-hidden="true"></span>
       </button>
diff --git a/static/css/main.css b/static/css/main.css
index 5aef491..d182516 100644
--- a/static/css/main.css
+++ b/static/css/main.css
@@ -162,6 +162,8 @@ nav .brand { font-weight: 600; letter-spacing: -0.01em; color: var(--accent); di
 nav .brand-logo { width: 28px; height: 28px; border-radius: 7px; vertical-align: middle; }
 nav a { color: var(--muted); text-decoration: none; margin-left: 1.25rem; }
 nav a:hover { color: var(--fg); }
+nav .nav-github { display: inline-flex; align-items: center; gap: 0.4em; }
+nav .nav-icon { width: 1em; height: 1em; flex: none; }
 
 /* ---------- HERO ---------- */
 .hero {