From b0dcbae3ac1c86473183ab76be1121e31783dd95 Mon Sep 17 00:00:00 2001
From: Florian Schroedl <flo.schroedl@gmail.com>
Date: Fri, 17 May 2024 08:13:55 +0200
Subject: [PATCH] Fix border clipping

---
 frontend/src/app/main/ui/workspace/tokens/editable_select.scss | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/frontend/src/app/main/ui/workspace/tokens/editable_select.scss b/frontend/src/app/main/ui/workspace/tokens/editable_select.scss
index 2dcd74776..698ed839e 100644
--- a/frontend/src/app/main/ui/workspace/tokens/editable_select.scss
+++ b/frontend/src/app/main/ui/workspace/tokens/editable_select.scss
@@ -9,10 +9,9 @@
 .editable-select {
   @extend .asset-element;
   margin: 0;
-  border: $s-1 solid var(--input-border-color);
   position: relative;
   display: flex;
-  height: $s-32;
+  height: calc($s-32 - 2px); // Fixes border being clipped by the input field
   width: 100%;
   padding: $s-8;
   border-radius: $br-8;