From 812d7d91abbaa517f74fd8000ba5238e77a7f611 Mon Sep 17 00:00:00 2001
From: silverwind <me@silverwind.io>
Date: Sun, 16 Jan 2022 13:15:27 +0100
Subject: [PATCH] Minor tweak to tag list

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 4894a0a2c92b3..5e7fdc4204c7d 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;
       }
     }