declare const LINE_HEIGHT = 1.5;
declare const LABEL_FONT_SIZE = 14;
declare const TOKEN_FONT_SIZE = 18;
declare const TRIANGLE_SIZE = 4;
declare const SELECTION_BG: string;
declare const TOKEN_FONT_FAMILY = "monospace";
declare const LABEL_FONT_FAMILY = "serif";
export { LINE_HEIGHT, LABEL_FONT_SIZE, TOKEN_FONT_SIZE, TRIANGLE_SIZE, SELECTION_BG, TOKEN_FONT_FAMILY, LABEL_FONT_FAMILY };