Variable HEADER_HEIGHTConst

HEADER_HEIGHT: 22 = 22

Make sure to adjust the line-height of the .theia-view-container .part > .header CSS class when modifying this, and vice versa.