From a123630bb5bc5b91adbe7e4dcbb39832ddcbe33f Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Tue, 17 Oct 2023 02:18:28 +0200
Subject: [PATCH] Fix unstyled width of gitlab logo

---
 _layouts/page.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/_layouts/page.html b/_layouts/page.html
index 73e8802..8e9050a 100644
--- a/_layouts/page.html
+++ b/_layouts/page.html
@@ -24,7 +24,7 @@ extra_html_headers: >
   <div class="right">
     <a href="https://gitlab.com/preserves/preserves">
       <span class="icon">
-        <img src="{{ site.baseurl }}/gitlab-logo-500.svg" alt="Gitlab logo">
+        <img src="{{ site.baseurl }}/gitlab-logo-500.svg" height="64" alt="Gitlab logo">
       </span>
     </a>
   </div>