From 73a6c66379b3cd8b570d3b452dad818821f443c8 Mon Sep 17 00:00:00 2001
From: zadam <zadam.apps@gmail.com>
Date: Sun, 17 Nov 2019 11:39:06 +0100
Subject: [PATCH] header styling changes

---
 src/public/stylesheets/desktop.css | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

diff --git a/src/public/stylesheets/desktop.css b/src/public/stylesheets/desktop.css
index 9ad1b4ace..cb5430304 100644
--- a/src/public/stylesheets/desktop.css
+++ b/src/public/stylesheets/desktop.css
@@ -59,7 +59,7 @@ body {
     background-color: var(--header-background-color);
     display: flex;
     align-items: center;
-    padding: 4px;
+    padding-top: 4px;
 }
 
 #header button {
@@ -71,14 +71,17 @@ body {
     border-color: transparent !important;
 }
 
+#header button.btn-sm .bx {
+    position: relative;
+    top: 1px;
+}
+
 #header button:hover {
     border-color: var(--button-border-color) !important;
 }
 
 #history-navigation {
     margin: 0 15px 0 5px;
-    position: relative;
-    top: 2px;
 }
 
 #global-buttons {
@@ -170,6 +173,13 @@ body {
     cursor: pointer;
     position: relative;
     top: -1px;
+    border: 1px solid transparent;
+    padding: 2px;
+    border-radius: 2px;
+}
+
+.refresh-search-button:hover {
+    border-color: var(--button-border-color);
 }
 
 .note-title-row {