message: Reduce issue/PR filter button padding when `batch-open-issues` is active
diff: @@ -599,10 +599,11 @@ a.tabnav-extra[href$='mastering-markdown/'] {
  color: var(--github-red) !important;
  }
  -/* For `open-all-selected`: space out button */
  -:root .rgh-open-all-selected {
  - padding-right: 15px;
  - padding-left: 15px;
  +/* For `open-all-selected`: set a reduced padding for all buttons for #1830 */
  +:root .rgh-open-all-selected,
  +.rgh-open-all-selected ~ .select-menu .select-menu-button {
  + padding-right: 12px;
  + padding-left: 12px;
  }
  /* Fix for GHE More Dropdown items positioning */
  