mirror of
https://github.com/prymitive/karma
synced 2026-05-07 03:26:52 +00:00
Merge pull request #1323 from prymitive/tweak-fitler-margin
chore(ui): more spacing between filter bar buttons
This commit is contained in:
@@ -21,3 +21,8 @@ div[data-tooltipped]:not(:last-child) > .components-label,
|
||||
div[data-tooltipped]:not(:last-child) > .components-grid-annotation {
|
||||
margin-right: 0.25rem;
|
||||
}
|
||||
|
||||
// larger margin for buttons in the filter input bar
|
||||
.components-filterinput > button.components-label:not(:last-child) {
|
||||
margin-right: 0.35rem;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user