From deca3beff7095a9162440bc061d8907a8ce706c6 Mon Sep 17 00:00:00 2001
From: Christina Toegl <toegl@tugraz.at>
Date: Mon, 8 Aug 2022 10:22:22 +0200
Subject: [PATCH] Change radio button width
---
packages/common/styles.js | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/packages/common/styles.js b/packages/common/styles.js
index daa8b7c5..2ccedc35 100644
--- a/packages/common/styles.js
+++ b/packages/common/styles.js
@@ -777,8 +777,8 @@ export function getRadioAndCheckboxCss() {
position: absolute;
top: 0;
left: 0;
- height: 21px;
- width: 21px;
+ height: 19px;
+ width: 19px;
background-color: var(--dbp-background);
border: solid;
border-radius: 100%;
--
GitLab