From 5e45bf61ab672aa453665d08454c476099a65446 Mon Sep 17 00:00:00 2001
From: John Mertz <git@john.me.tz>
Date: Thu, 28 Sep 2023 17:39:48 +0000
Subject: [PATCH] Fix search bar gaps

---
 css/theme-gruvbox.css | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/css/theme-gruvbox.css b/css/theme-gruvbox.css
index f00cf24..beef8cd 100644
--- a/css/theme-gruvbox.css
+++ b/css/theme-gruvbox.css
@@ -1320,18 +1320,23 @@ button.branch-dropdown-button, .ui.basic.button, .ui.basic.buttons .button {
 
 .gt-mb-4 {
 	padding-left: 10px !important;
-	margin-bottom: -3px !important;
+	margin: 0px !important;
+}
+.ui.secondary.stackable a {
+	margin-bottom: 0px;
 }
 form.ui.form.ignore-dirty, div.ui.right.floated.menu {
 	padding: 10px;
 	background-color: var(--blue) !important;
 	margin: 0px !important;
 }
+div.ui.right.floated.menu {
+}
 div.ui.right.floated.menu .item {
 	z-index: 1;
-	padding-bottom: 8px;
 	background-color: var(--green) !important;
 	margin: 0px;
+	padding: 10px 10px 9px 10px !important;
 }
 div.ui.right.floated.menu .item:hover {
 	background-color: var(--greenhl) !important;
@@ -1462,7 +1467,7 @@ div.ui.twelve.wide.column {
 .user.profile .ui.secondary.stackable.pointing.menu .item {
 	background-color: var(--yellow) !important;
 	color: var(--fghl) !important;
-	padding: 10px 10px 8px 10px;
+	padding: 12px !important;
 	border-top-left-radius: 5px;
 	border-top-right-radius: 5px;
 	margin: 0px 10px 0px 0px !important;