From 0ad23d0e24d876ff9bcd6b5d83c1514de132522f Mon Sep 17 00:00:00 2001
From: Quentin Gliech <quentingliech@gmail.com>
Date: Wed, 4 Sep 2019 20:03:56 +0200
Subject: webui: Fix bug listing style

---
 webui/src/Label.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'webui/src/Label.js')

diff --git a/webui/src/Label.js b/webui/src/Label.js
index 6edf46a2..e5b00b12 100644
--- a/webui/src/Label.js
+++ b/webui/src/Label.js
@@ -28,9 +28,10 @@ const createStyle = color => ({
 const useStyles = makeStyles(theme => ({
   label: {
     ...theme.typography.body1,
-    padding: '0 6px',
+    padding: '1px 6px 0.5px',
     fontSize: '0.9em',
-    margin: '0 1px',
+    fontWeight: '500',
+    margin: '0.05em 1px calc(-1.5px + 0.05em)',
     borderRadius: '3px',
     display: 'inline-block',
     borderBottom: 'solid 1.5px',
-- 
cgit