Reduce checkbox size to 15px (#30346)

16 seems to big, 14 too small. Let's do 15. Alignment:

<img width="181" alt="image"
src="f2988611-dee2-492e-a18f-dc5ab3a1cd6c">
This commit is contained in:
silverwind 2024-04-09 05:09:43 +02:00 committed by GitHub
parent d7013c26c8
commit 72dc75e594
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 2 additions and 2 deletions

View file

@ -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);