From 7dde39a6dba6c0d7468e1d5159b376f86b9ca729 Mon Sep 17 00:00:00 2001
From: silverwind <me@silverwind.io>
Date: Mon, 17 Jan 2022 05:26:35 -0800
Subject: [PATCH] Minor tweak to tag list (#18295)

Slightly reduce the font size and padding in the tags table, it seemed a bit too big to me.
---
 web_src/less/_repository.less | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/web_src/less/_repository.less b/web_src/less/_repository.less
index 4894a0a2c9..5e7fdc4204 100644
--- a/web_src/less/_repository.less
+++ b/web_src/less/_repository.less
@@ -1978,8 +1978,12 @@
     }
 
     #tags-table {
+      .tag {
+        padding: 8px 12px;
+      }
+
       .release-tag-name {
-        font-size: 1.5rem;
+        font-size: 20px;
         font-weight: normal;
       }
     }