From c96520072e97f956cd30d1b320dae8c3d87dbab4 Mon Sep 17 00:00:00 2001
From: Klaus Tannenberg <klaus.tannenberg@gmail.com>
Date: Wed, 18 Dec 2019 20:48:40 +0000
Subject: [PATCH] Fix width on #jenkins-home-link anchor

Width on `.logo a#jenkins-home-link` ends up with the same of 40px in height and 0px in width, thus making this link useless.

This fix extends anchor width to that of `.logo` placeholder div. Link ends up larger than actual image, but I don't know how to elegantly calculate width with only CSS.
---
 src/style.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/style.css b/src/style.css
index f38c5ee..2e9b572 100644
--- a/src/style.css
+++ b/src/style.css
@@ -92,6 +92,10 @@ a:hover, a:active {
     display: none;
 }
 
+.logo a#jenkins-home-link {
+    width: inherit;
+}
+
 #search-box {
     width: 175px !important;
     -moz-appearance: textfield;