Employ general fix for oversized labels

CL-Jeremy · CL-Jeremy · commit 090cfa34847d · 2021-02-20T17:18:24.000+01:00
diff --git a/web_src/less/_base.less b/web_src/less/_base.less
@@ -286,6 +286,11 @@ a.muted:hover,
 
 .ui.menu .item > .label {
   background: var(--color-grey);
+
+  &:not(.floating) {
+    margin-left: 7px;
+    padding: .3em .5em;
+  }
 }
 
 .ui.link.menu .item:hover,
diff --git a/web_src/less/_repository.less b/web_src/less/_repository.less
@@ -39,9 +39,8 @@
     justify-content: space-between;
 
     .ui.label {
-      margin: -3px 0;
-      margin-left: 7px !important;
-      padding: 3px 5px !important;
+      margin-top: -3px;
+      margin-bottom: -3px;
     }
   }
 

Original file line number	Diff line number	Diff line change
`@@ -39,9 +39,8 @@`
`39`	`39`	`justify-content: space-between;`
`40`	`40`
`41`	`41`	`.ui.label {`
`42`		`- margin: -3px 0;`
`43`		`- margin-left: 7px !important;`
`44`		`- padding: 3px 5px !important;`
	`42`	`+ margin-top: -3px;`
	`43`	`+ margin-bottom: -3px;`
`45`	`44`	`}`
`46`	`45`	`}`
`47`	`46`