mirror of
https://codeberg.org/forgejo/forgejo.git
synced 2024-11-28 23:42:28 +00:00
Reduce checkbox size to 15px (#30346)
16 seems to big, 14 too small. Let's do 15. Alignment: <img width="181" alt="image" src="https://github.com/go-gitea/gitea/assets/115237/f2988611-dee2-492e-a18f-dc5ab3a1cd6c"> (cherry picked from commit 72dc75e594fb5227abfa1cb74cb652cc33bacc93)
This commit is contained in:
parent
f544bb25b5
commit
b13e969dd5
|
@ -24,7 +24,7 @@
|
||||||
--repo-header-issue-min-height: 41px;
|
--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 */
|
--min-height-textarea: 132px; /* padding + 6 lines + border = calc(1.57142em + 6lh + 2px), but lh is not fully supported */
|
||||||
--tab-size: 4;
|
--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 */
|
--page-spacing: 16px; /* space between page elements */
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -20,7 +20,7 @@ input[type="radio"] {
|
||||||
.ui.checkbox input[type="checkbox"],
|
.ui.checkbox input[type="checkbox"],
|
||||||
.ui.checkbox input[type="radio"] {
|
.ui.checkbox input[type="radio"] {
|
||||||
position: absolute;
|
position: absolute;
|
||||||
top: 0;
|
top: 1px;
|
||||||
left: 0;
|
left: 0;
|
||||||
width: var(--checkbox-size);
|
width: var(--checkbox-size);
|
||||||
height: var(--checkbox-size);
|
height: var(--checkbox-size);
|
||||||
|
|
Loading…
Reference in a new issue