From f7870c04ae0fca27ec129deab0e85bdde618a437 Mon Sep 17 00:00:00 2001 From: Calixte Denizet Date: Tue, 19 Sep 2023 09:56:54 +0200 Subject: [PATCH] [Editor] Make the border of the resizers slightly rounded It's a part of the UX specifications. There's a drawing issue in Firefox (see bug https://bugzilla.mozilla.org/1853288) but setting the background-clip property to content-box seems to be a good workaround. --- web/annotation_editor_layer_builder.css | 2 ++ 1 file changed, 2 insertions(+) diff --git a/web/annotation_editor_layer_builder.css b/web/annotation_editor_layer_builder.css index 567a0801a..dc7104518 100644 --- a/web/annotation_editor_layer_builder.css +++ b/web/annotation_editor_layer_builder.css @@ -254,7 +254,9 @@ width: var(--resizer-size); height: var(--resizer-size); background: var(--resizer-bg-color); + background-clip: content-box; border: var(--focus-outline-around); + border-radius: 2px; position: absolute; &.topLeft {