Theia API Documentation v1.65.0
    Preparing search index...
    HEADER_HEIGHT: 22

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