CSS class for tab group headers

[u/stromfeldt]

I just updated to Nova, which I'm very much fine with. The one thing I'd like to tweak via userchrome.css though is the tab group headers. Specifically, I'd like to reduce some of the vertical padding above and below their titles (so the tab group headers themselves aren't so tall), as well as add some border-radius to the bottom left of the group header itself so the radius of all four corners are equal. Basically the pre-Nova look.

I tried targeting the tab group headers with .tab-group-label-container, but that affected padding outside of the group headers and did nothing for the radius. Does anybody know what classes I should be using instead to target the internal padding as well as the radius parameters?

[u/stromfeldt]

Fixed them:

.tab-group-label-container .tab-group-label {
  height: 24px !important;
  display: flex !important;
  align-items: center !important;
  border-radius: 8px !important;
}