From 90e1480b7f7e737ff84d772850b4dfb7a0acd754 Mon Sep 17 00:00:00 2001 From: Morgan Hardwood Date: Mon, 25 Mar 2019 20:24:07 +0100 Subject: [PATCH] Fixes broken frame borders, fixes #5245 --- rtdata/themes/RawTherapee-GTK3-20_.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtdata/themes/RawTherapee-GTK3-20_.css b/rtdata/themes/RawTherapee-GTK3-20_.css index 6c0a0993b..32efbb41f 100644 --- a/rtdata/themes/RawTherapee-GTK3-20_.css +++ b/rtdata/themes/RawTherapee-GTK3-20_.css @@ -1009,7 +1009,7 @@ fontchooser scrolledwindow, #MyExpander frame, dialog frame { margin: 0; - padding: 0.19em 0.5em; + padding: 0.19em 0.583333333333333333em; } #RightNotebook > stack > scrolledwindow frame > border, #BatchQueueButtonsMainContainer > frame > border,