From b72e5f949e9f604e1da83cf122f60d4313879a02 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C5=81ukasz=20Mierzwa?= <l.mierzwa@gmail.com>
Date: Wed, 8 Jan 2020 19:49:08 +0000
Subject: [PATCH] chore(ui): more spacing between filter bar buttons

---
 ui/src/Styles/Components/AlertGroup.scss | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/ui/src/Styles/Components/AlertGroup.scss b/ui/src/Styles/Components/AlertGroup.scss
index 45ad075a9..f19c28c97 100644
--- a/ui/src/Styles/Components/AlertGroup.scss
+++ b/ui/src/Styles/Components/AlertGroup.scss
@@ -21,3 +21,8 @@ div[data-tooltipped]:not(:last-child) > .components-label,
 div[data-tooltipped]:not(:last-child) > .components-grid-annotation {
   margin-right: 0.25rem;
 }
+
+// larger margin for buttons in the filter input bar
+.components-filterinput > button.components-label:not(:last-child) {
+  margin-right: 0.35rem;
+}