From a04dc4cd69cf2d999e1d50763cf3531ce0227ed5 Mon Sep 17 00:00:00 2001 From: Alexandre Franke Date: Mon, 25 Nov 2024 14:25:31 +0100 Subject: [PATCH] style: adjust border radii Following GNOME/libadwaita change d450cb30c59694f604d4396993281797035bc51c Fixes #1538 --- data/resources/stylesheet/_vendor.scss | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/data/resources/stylesheet/_vendor.scss b/data/resources/stylesheet/_vendor.scss index 8ac7c4e1..4f95d476 100644 --- a/data/resources/stylesheet/_vendor.scss +++ b/data/resources/stylesheet/_vendor.scss @@ -21,9 +21,8 @@ $ease-out-quad: cubic-bezier(0.25, 0.46, 0.45, 0.94); $focus_transition: outline-color 200ms $ease-out-quad, outline-width 200ms $ease-out-quad, outline-offset 200ms $ease-out-quad; -$button_radius: 6px; -$card_radius: $button_radius + 6; -$menu_radius: 6px; +$card_radius: 12px; +$menu_radius: 9px; // https://gitlab.gnome.org/GNOME/libadwaita/-/blob/1.6.1/src/stylesheet/_drawing.scss @mixin focus-ring($target: null, $width: 2px, $offset: -$width, $outer: false, $focus-state: ':focus:focus-visible', $transition: null) {