Browse Source

style: adjust border radii

Following GNOME/libadwaita change d450cb30c59694f604d4396993281797035bc51c

Fixes #1538
af-copy-room-alias
Alexandre Franke 1 year ago
parent
commit
a04dc4cd69
  1. 5
      data/resources/stylesheet/_vendor.scss

5
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) {

Loading…
Cancel
Save