Fix label color, fix divider in dropdown (#24215)

Two small CSS fixes:

1. Fix basic primary label hover
2. Fix border color of divider in dropdown and remove margin so it looks
better with hover effect, as discussed in
#24143:

Author: silverwind

web_src/css/base.css

@@ -2380,6 +2380,13 @@ a.ui.label:hover {
   color: var(--color-primary);
 }
 
+.ui.basic.labels a.primary.label:hover,
+a.ui.ui.ui.basic.primary.label:hover {
+  background: var(--color-hover);
+  border-color: var(--color-primary-dark-1);
+  color: var(--color-primary-dark-1);
+}
+
 .ui.basic.labels .secondary.label,
 .ui.ui.ui.basic.secondary.label {
   background: transparent;
@@ -2629,6 +2636,11 @@ table th[data-sortt-desc] .svg {
   border-radius: 0 0 var(--border-radius) var(--border-radius);
 }
 
+.ui.dropdown .menu > .divider {
+  border-top: 1px solid var(--color-secondary);
+  margin: 4px 0;
+}
+
 .ui.multiple.dropdown > .label {
   box-shadow: 0 0 0 1px var(--color-secondary) inset;
 }