mirror of https://github.com/jenkinsci/jenkins.git
Tidy up
This commit is contained in:
parent
157ba0b5bc
commit
edce488000
|
@ -311,9 +311,9 @@ $jenkins-split-button-border-radius: 0.2rem;
|
||||||
display: inline-flex;
|
display: inline-flex;
|
||||||
align-items: center;
|
align-items: center;
|
||||||
justify-content: center;
|
justify-content: center;
|
||||||
width: 16px;
|
width: 1rem;
|
||||||
height: 16px;
|
height: 1rem;
|
||||||
border-radius: 4px;
|
border-radius: 0.25rem;
|
||||||
|
|
||||||
&::before {
|
&::before {
|
||||||
background: color-mix(in sRGB, var(--red) 15%, transparent);
|
background: color-mix(in sRGB, var(--red) 15%, transparent);
|
||||||
|
|
Loading…
Reference in New Issue