From 10cf3a69fc9745c404efc03a125c2b213ace3442 Mon Sep 17 00:00:00 2001 From: Alexei Anoshenko <2277098+anoshenko@users.noreply.github.com> Date: Tue, 3 Sep 2024 18:53:14 +0300 Subject: [PATCH] Update defaultTheme.rui --- defaultTheme.rui | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/defaultTheme.rui b/defaultTheme.rui index c2abd21..f48d0a4 100644 --- a/defaultTheme.rui +++ b/defaultTheme.rui @@ -136,8 +136,8 @@ theme { margin = 2px, }, ruiCheckbox:focus { - margin = 0, - border = _{style = solid, color = @ruiHighlightColor, width = 2px }, + outline = _{style = solid, color = @ruiHighlightColor, width = 2px }, + outline-offset = -1px, }, ruiListItem { radius = 4px,