From b13e969dd5f11793f38a20c14da2a1397ce86dab Mon Sep 17 00:00:00 2001 From: silverwind Date: Tue, 9 Apr 2024 05:09:43 +0200 Subject: [PATCH] Reduce checkbox size to 15px (#30346) 16 seems to big, 14 too small. Let's do 15. Alignment: image (cherry picked from commit 72dc75e594fb5227abfa1cb74cb652cc33bacc93) --- web_src/css/base.css | 2 +- web_src/css/modules/checkbox.css | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/web_src/css/base.css b/web_src/css/base.css index ffbf5d01c..ada5b8728 100644 --- a/web_src/css/base.css +++ b/web_src/css/base.css @@ -24,7 +24,7 @@ --repo-header-issue-min-height: 41px; --min-height-textarea: 132px; /* padding + 6 lines + border = calc(1.57142em + 6lh + 2px), but lh is not fully supported */ --tab-size: 4; - --checkbox-size: 16px; /* height and width of checkbox and radio inputs */ + --checkbox-size: 15px; /* height and width of checkbox and radio inputs */ --page-spacing: 16px; /* space between page elements */ } diff --git a/web_src/css/modules/checkbox.css b/web_src/css/modules/checkbox.css index 9238e0b3f..d3e45714a 100644 --- a/web_src/css/modules/checkbox.css +++ b/web_src/css/modules/checkbox.css @@ -20,7 +20,7 @@ input[type="radio"] { .ui.checkbox input[type="checkbox"], .ui.checkbox input[type="radio"] { position: absolute; - top: 0; + top: 1px; left: 0; width: var(--checkbox-size); height: var(--checkbox-size);