import {blue} from "@material-ui/core/colors/index";

const LINE_HEIGHT = 1.5;
const LABEL_FONT_SIZE = 14;
const TOKEN_FONT_SIZE = 18;
const TRIANGLE_SIZE = 4;
const SELECTION_BG = blue[600];
const TOKEN_FONT_FAMILY = "monospace";
const LABEL_FONT_FAMILY = "serif";

export {LINE_HEIGHT, LABEL_FONT_SIZE, TOKEN_FONT_SIZE, TRIANGLE_SIZE, SELECTION_BG, TOKEN_FONT_FAMILY, LABEL_FONT_FAMILY}