export declare const IDE_HEADER_HEIGHT = 40;
export declare const LOGO_WIDTH = 50;