From 6b5d07e5fef1d6f2d59e30debf411e9106df9d4c Mon Sep 17 00:00:00 2001
From: Christina Toegl <toegl@tugraz.at>
Date: Mon, 8 Aug 2022 10:20:04 +0200
Subject: [PATCH] Fix 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 1fccba54..daa8b7c5 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: 20px;
- width: 20px;
+ height: 21px;
+ width: 21px;
background-color: var(--dbp-background);
border: solid;
border-radius: 100%;
--
GitLab