Its somewhat funny that the options sidebar for the vertical tab bar has the adjustment, but the element the user wants to shrink down, you can't. But I understand it probably is much more complicated than this, since the element looks to be of a di...
