From a72ea0d0c9d0b490de6c77a238d501ee75216960 Mon Sep 17 00:00:00 2001
From: "k.triantafyllou" <k.triantafyllou@di.uoa.gr>
Date: Wed, 1 Mar 2023 16:10:37 +0200
Subject: [PATCH] Change border color in radio-checkboxes

---
 less/form.less | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/less/form.less b/less/form.less
index 691359e..aac925f 100644
--- a/less/form.less
+++ b/less/form.less
@@ -10,7 +10,7 @@
 @form-radio-focus-background: @global-inverse-color;
 @form-radio-checked-background: @global-secondary-background;
 @form-radio-checked-focus-background: @global-secondary-background;
-@form-radio-border: @global-border;
+@form-radio-border: @global-muted-color;
 @form-radio-border-width: @global-border-width;
 @form-radio-border-radius: @global-small-border-radius;