export const NAVIGATION_ARROW_SIZE = 'navigation_arrow_size';
export const NAVIGATION_BOX_PADDING = 'navigation_box_padding';
export const NAVIGATION_BOX_MARGIN = 'navigation_box_margin';
export const NAVIGATION_BOX_BORDER = 'navigation_box_border';
export const NAVIGATION_ARROW_PADDING = 'navigation_arrow_padding';
export const NAVIGATION_ARROW_MARGIN = 'navigation_arrow_margin';