From a3bcd66de694c833b98ca07b30f8e8981b2536af Mon Sep 17 00:00:00 2001
From: Raymond Ha <raymond@shraymonks.com>
Date: Sat, 2 Aug 2025 14:50:38 -0400
Subject: [PATCH] Fix GitHub logo reflow

---
 homepage/home_static/style.css | 3 ++-
 homepage/index.html            | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/homepage/home_static/style.css b/homepage/home_static/style.css
index 422fa7faf..d75eacd0f 100644
--- a/homepage/home_static/style.css
+++ b/homepage/home_static/style.css
@@ -69,7 +69,8 @@ a {
 }
 
 .github-logo {
-  padding-right: 5px;
+  margin-right: 5px;
+  pointer-events: none;
 }
 
 .card-set .card {
diff --git a/homepage/index.html b/homepage/index.html
index 3b9b0c08f..b8ff04e5b 100644
--- a/homepage/index.html
+++ b/homepage/index.html
@@ -51,6 +51,8 @@
             role="button"
             ><object
               class="github-logo"
+              width="16"
+              height="16"
               data="home_img/github.svg"
               type="image/svg+xml"
             ></object>