mirror of
https://github.com/jenkinsci/jenkins.git
synced 2026-10-26 19:15:09 +00:00
Refine dropdown filter bar
This commit is contained in:
1 parent
081dc2496c
commit
72f4bd4deb
1 file changed
+6
-3
@@ -68,18 +68,21 @@ $dropdown-padding: 0.375rem;
|
||||
&__filter {
|
||||
display: flex;
|
||||
align-items: center;
|
||||
gap: 5px;
|
||||
gap: 1.2ch;
|
||||
padding: 0.6rem 1rem;
|
||||
border-bottom: 1px solid var(--input-border);
|
||||
border-bottom: var(--jenkins-border);
|
||||
|
||||
&-input {
|
||||
&:focus {
|
||||
outline: none;
|
||||
}
|
||||
|
||||
&::placeholder {
|
||||
color: var(--text-color-secondary);
|
||||
}
|
||||
|
||||
width: 100%;
|
||||
border: none;
|
||||
color: var(--text-color-secondary);
|
||||
background-color: unset;
|
||||
}
|
||||
|
||||
|
||||
Reference in new issue
Block a user