Theme: Smaller buttons and spacing

2019-04-12 14:05:05 +02:00
parent 53e50ba099
commit 4db265b00f
1 changed files with 2 additions and 1 deletions
--- 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 ******************************************************************************/