Found the problem:
The token font-size-xs, which I had tried tweaking to absurd numbers to try and find out where it was used; was in fact used to those very elements, explaining why they looked so big.
So not a bug at all! At worse some slightly unclear labeling!
Thread
Comment by vicky
font-size-xs, which I had tried tweaking to absurd numbers to try and find out where it was used; was in fact used to those very elements, explaining why they looked so big. So not a bug at all! At worse some slightly unclear labeling!