/**
 * The cells a diff gutter takes besides its digits: the marker and the
 * spaces round the number.
 */
export const GUTTER_CHROME = 3