From 373ad5f12fd6768fb578746a64f3766d90d26bdb Mon Sep 17 00:00:00 2001 From: Morgan Hardwood Date: Mon, 24 Sep 2018 18:35:16 +0200 Subject: [PATCH] Progress bar border tweak and cleanup --- rtdata/themes/RawTherapee-GTK3-20_.css | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/rtdata/themes/RawTherapee-GTK3-20_.css b/rtdata/themes/RawTherapee-GTK3-20_.css index d87de8235..1224e3ce9 100644 --- a/rtdata/themes/RawTherapee-GTK3-20_.css +++ b/rtdata/themes/RawTherapee-GTK3-20_.css @@ -994,17 +994,16 @@ button.combo, .image-combo .toggle, #MyFileChooserButton { padding-right: 4px; } - /* Progress bars */ progressbar.horizontal { min-width: 100px; - margin-bottom: 4px; + margin-bottom: 2px; } progressbar.vertical { min-height: 100px; -/* margin: 8px 8px 8px 0;*/ + margin: 8px 0; } progressbar trough { @@ -1014,16 +1013,16 @@ progressbar trough { progressbar progress { border-color: #363636; - background-color: #FFCC00; + border-radius: 3px; background-color: #215d9c; } progressbar.horizontal trough, progressbar.horizontal progress { - min-height: 8px; + min-height: 10px; } progressbar.vertical trough, progressbar.vertical progress { - min-width: 8px; + min-width: 10px; } /* */