From 4db265b00fca6d6ecbcb7a02ae25cfe85722f866 Mon Sep 17 00:00:00 2001
From: TooWaBoo <TooWaBoo@users.noreply.github.com>
Date: Fri, 12 Apr 2019 14:05:05 +0200
Subject: [PATCH] Theme: Smaller buttons and spacing

---
 rtdata/themes/RawTherapee-GTK3-20_.css | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/rtdata/themes/RawTherapee-GTK3-20_.css b/rtdata/themes/RawTherapee-GTK3-20_.css
index 32efbb41f..45dec6e39 100644
--- a/rtdata/themes/RawTherapee-GTK3-20_.css
+++ b/rtdata/themes/RawTherapee-GTK3-20_.css
@@ -1225,11 +1225,12 @@ dialog frame > label:not(.dummy) {
     border-top-width: 0.083333333333333333em;
 }
 #Navigator {
-    padding-top: 0.75em;
+    padding-top: 0.25em;
     padding-bottom: 0.25em;
 }
 #Navigator label {
     padding: 0;
+    margin: 0.083333333333333333em 0;
 }
 
 /*** PartialPaste ******************************************************************************/