/** Shared scrollbar width and reserved gutter, in UI layout units. */
export const DEFAULT_SCROLLBAR_WIDTH = 8;

/** Line-height fallback as a multiple of the current font size. */
export const DEFAULT_TEXT_LINE_HEIGHT = 1.2;

/** Font-size fallback, in UI layout units, when a style supplies none. */
export const DEFAULT_TEXT_FONT_SIZE = 16;

/** Width of an editable tab stop, measured in spaces. */
export const DEFAULT_TEXT_TAB_SIZE = 4;